Hybrid Planning Using Learning and Model Checking for Autonomous Systems.

Ashutosh Pandey Ivan Ruchkin Bradley R. Schmerl David Garlan

Published in: ACSOS (2020)

Keyphrases

model checking
autonomous systems
temporal logic
formal verification
symbolic model checking
uncertain environments
dynamic environments
temporal properties
image sequences
planning problems
formal specification
finite state
verification method
concurrent systems
reachability analysis