Login / Signup

Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling.

Tim MeywerkMarcel WalterVladimir HerdtJan KleinekathöferDaniel GroßeRolf 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