( en | de | ru )

 

Disambiguation of "Livingston, Scott C."

Author of the publication

copydeleteadd this publication to your clipboard
Enhancing tolerance to unexpected jumps in GR(1) games.

, , and . ICCPS, page 37-47. ACM, (2017)

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.

Scott Livingston

Martina Christine Scotti

Pierre-François Scotto

Peter Scott

Felix Markus Hubertus Scotti

 

Other publications of authors with the same name

Hot-swapping robot task goals in reactive formal synthesis., and . CDC, page 101-107. IEEE, (2014)On-Line STEAM Outreach with Remote Robot Access., , , , , , , and . SIGCSE, page 1325. ACM, (2021)Time-annotated game graphs for synthesis from abstracted systems.. CDC, page 6797-6802. IEEE, (2015)On the Broad Implications of Reinforcement Learning based AGI., , and . AGI, volume 171 of Frontiers in Artificial Intelligence and Applications, page 478-482. IOS Press, (2008)Cross-entropy temporal logic motion planning., , and . HSCC, page 269-278. ACM, (2015)Patching task-level robot controllers based on a local μ-calculus formula., , , and . ICRA, page 4588-4595. IEEE, (2013)Just-in-time synthesis for reactive motion planning with temporal logic., and . ICRA, page 5048-5053. IEEE, (2013)Enhancing tolerance to unexpected jumps in GR(1) games., , and . ICCPS, page 37-47. ACM, (2017)Multi-objective Optimal Control for Proactive Decision Making with Temporal Logic Models., , and . ISRR, volume 10 of Springer Proceedings in Advanced Robotics, page 127-144. Springer, (2017)Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox., , , , and . CCA, page 1030-1041. IEEE, (2016)