A Aralex Aachen research explorer

May 01, 2012 conference-paper

LTL robot motion control based on automata learning of environmental dynamics

Proceedings - IEEE International Conference on Robotics and Automation/Proceedings

DOI: 10.1109/icra.2012.6225075 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 54

Multiple Long-Run and $$\omega $$-Regular Objectives in MDPs
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

0

citations

1 result

References 0