The monitoring problem for timed automata.

Alejandro Grez Filip Mazowiecki Michal Pilipczuk Gabriele Puppis Cristian Riveros

Published in: CoRR (2020)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
monitoring system
first order logic
databases
real time
decision support
real time systems
social networks
software engineering
natural language
bayesian networks
knowledge base
real world
neural network
data sets