Login / Signup
Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling.
Tim Meywerk
Marcel Walter
Vladimir Herdt
Jan Kleinekathöfer
Daniel Große
Rolf Drechsler
Published in:
ISoLA (3) (2020)
Keyphrases
</>
mobile robot
real time
robotic systems
dynamic environments
structural properties
desirable properties
indoor environments
autonomous agents
complex environments
partially ordered
world model
safe operation