Sign in
Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study.
Matt Webster
Clare Dixon
Michael Fisher
Maha Salem
Joe Saunders
Kheng Lee Koay
Kerstin Dautenhahn
Joan Saez-Pons
Published in:
IEEE Trans. Hum. Mach. Syst. (2016)
Keyphrases
</>
formal verification
autonomous robotic
model checking
semi autonomous
model checker
fully autonomous
automated verification
bounded model checking
symbolic model checking
program slicing
intelligent agents
temporal logic
web services
dynamic programming