Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance.

Hazem Torfah Sebastian Junges Daniel J. Fremont Sanjit A. Seshia

Published in: RV (2021)

Keyphrases

formal analysis
artificial intelligence
formal methods
machine learning
case based reasoning
databases
neural network
information systems
decision making
expert systems
knowledge based systems
fine grained
adjustable autonomy