C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Runtime Verification of Timed Properties in Autonomous Robots.
Mohammed Foughali
Saddek Bensalem
Jacques Combaz
Félix Ingrand
Published in:
MEMOCODE (2020)
Keyphrases
</>
autonomous robots
mobile robot
robot navigation
goal directed
robotic systems
desirable properties
robot control
motion control
petri net
autonomous mobile robot
model checking
control system
vision system
formal methods
multiple robots
multi robot systems