Verifying Safety Properties of Inductively Defined Parameterized Systems.

Marius Bozga Radu Iosif

Published in: CoRR (2020)

Keyphrases

structural properties
decision making
decision trees
building blocks
artificial intelligence
computer vision
information systems
training data
multi agent
expert systems
relational databases
management system
knowledge based systems
desirable properties
safety critical
safety analysis