Assuring Autonomous Systems: Opportunities for Integrated Formal Methods?

Mario Gleirscher Simon Foster Jim Woodcock

Published in: CoRR (2018)

Keyphrases

formal methods
autonomous systems
model checking
knowledge based systems
formal specification
artificial intelligence
software engineering
dynamic environments
autonomous navigation
uncertain environments
machine learning
data mining
knowledge base