Autor der Publikation

Falsification of LTL Safety Properties in Hybrid Systems.

, , und . TACAS, Volume 5505 von Lecture Notes in Computer Science, Seite 368-382. Springer, (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Randomized Planning for Short Inspection Paths., und . ICRA, Seite 971-976. IEEE, (2000)A Framework for Using the Workspace Medial Axis in PRM Planners., und . ICRA, Seite 1408-1413. IEEE, (2000)Fast Tree-Based Exploration of State Space for Robots with Dynamics., und . WAFR, Volume 17 von Springer Tracts in Advanced Robotics, Seite 297-312. Springer, (2004)Coarse-Grained Conformational Sampling of Protein Structure Improves the Fit to Experimental Hydrogen-Exchange Data., , , , , , und . Frontiers in molecular biosciences, (2017)Editorial: special issue on the 2014 "Robotics: Science & Systems" conference., und . Auton. Robots, 39 (3): 219-220 (2015)Extending the Applicability of POMDP Solutions to Robotic Tasks., , und . IEEE Trans. Robotics, 31 (4): 948-961 (2015)Software for project-based learning of robot motion planning., , und . Computer Science Education, 23 (4): 332-348 (2013)Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees., , , , , und . IEEE Trans. Robotics, 32 (3): 583-599 (2016)Path Planning for Minimal Energy Curves of Constant Length., und . ICRA, Seite 2826-2831. IEEE, (2004)Improving the Prediction of Kinase Binding Affinity Using Homology Models., , und . BCB, Seite 741. ACM, (2013)