( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Decoupled Formal Synthesis for Almost Separable Systems with Temporal Logic Specifications.

, и . DARS, том 112 из Springer Tracts in Advanced Robotics, стр. 371-385. Springer, (2014)

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.

Scott Livingston

Martina Christine Scotti

Pierre-François Scotto

Peter Scott

Felix Markus Hubertus Scotti

 

Другие публикации лиц с тем же именем

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