Sign in
Identifying safety properties guaranteed in changed environment at runtime.
Kazuya Aizawa
Kenji Tei
Shinichi Honiden
Published in:
ICA (2018)
Keyphrases
</>
mobile robot
real time
dynamic environments
desirable properties
environmental conditions
topological properties
expert systems
hidden markov models
robotic systems
structural properties
simulation environment