Automated repair for timed systems.

Martin Kölbl Stefan Leue Thomas Wies

Published in: Formal Methods Syst. Des. (2021)

Keyphrases

complex systems
semi automated
expert systems
real time
database

machine learning
artificial intelligence
metadata
database systems
computer systems

learning systems
automated analysis
human operators
computing systems
petri net

knowledge based systems
management system
case study
information systems
data sets