Author of the publication

Exploring the Boundary of Half Positionality.

, , , and . CLIMA, volume 6245 of Lecture Notes in Computer Science, page 171-185. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Quantitatively fair scheduling., , , and . Theor. Comput. Sci., 413 (1): 160-175 (2012)Graded Computation Tree Logic., , and . LICS, page 342-351. IEEE Computer Society, (2009)Autonomous Navigation with Open Software Platform for Field Robots., , and . ICINCO (Selected Papers), volume 495 of Lecture Notes in Electrical Engineering, page 425-450. Springer, (2017)SMART project: Industrial and Academic Collaboration for Service Design., , , , and . UMAP Workshops, volume 997 of CEUR Workshop Proceedings, CEUR-WS.org, (2013)Autonomous Navigation with ROS for a Mobile Robot in Agricultural Fields., , and . ICINCO (2), page 79-87. SciTePress, (2017)Balanced Paths in Colored Graphs., , , and . MFCS, volume 5734 of Lecture Notes in Computer Science, page 149-161. Springer, (2009)Exploring the boundary of half-positionality., , , and . Ann. Math. Artif. Intell., 62 (1-2): 55-77 (2011)Graded Computation Tree Logic with Binary Coding., , and . CSL, volume 6247 of Lecture Notes in Computer Science, page 125-139. Springer, (2010)Graded computation tree logic., , and . ACM Trans. Comput. Log., 13 (3): 25:1-25:53 (2012)Exploring the Boundary of Half Positionality., , , and . CLIMA, volume 6245 of Lecture Notes in Computer Science, page 171-185. Springer, (2010)