Formal safety verification of unknown continuous-time systems: a data-driven approach.

Abolfazl Lavaei Ameneh Nejati Pushpak Jagtap Majid Zamani

Published in: HSCC (2021)

Keyphrases

formal methods
data driven
safety critical
formal model
real time
neural network
computer systems
learning systems
data sets
information systems
natural language
management system
knowledge based systems
intelligent vehicles
safety analysis