Configurable verification of timed automata with discrete variables.

Tamás Tóth István Majzik

Published in: Acta Informatica (2022)

Keyphrases

timed automata
discrete variables
model checking
temporal logic
continuous variables
markov networks
exact inference
mixed integer
theorem prover
theorem proving
penalty function
real time
first order logic
linear programming
message passing
real time systems
belief networks
binary variables
machine learning