( 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)Decoupled Formal Synthesis for Almost Separable Systems with Temporal Logic Specifications., and . DARS, volume 112 of Springer Tracts in Advanced Robotics, page 371-385. Springer, (2014)Backtracking temporal logic synthesis for uncertain environments., , and . ICRA, page 5163-5170. IEEE, (2012)Signal Temporal Logic Meets Reachability: Connections and Applications., , , and . WAFR, volume 14 of Springer Proceedings in Advanced Robotics, page 581-601. Springer, (2018)Towards formal synthesis of reactive controllers for dexterous robotic manipulation., , , , and . ICRA, page 5183-5189. IEEE, (2012)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)Time-annotated game graphs for synthesis from abstracted systems.. CDC, page 6797-6802. IEEE, (2015)Multi-objective optimal control for proactive decision making with temporal logic models., , , and . Int. J. Robotics Res., (2019)Cross-entropy temporal logic motion planning., , and . HSCC, page 269-278. ACM, (2015)