Lazy Reachability Checking for Timed Automata with Discrete Variables.

Tamás Tóth István Majzik

Published in: SPIN (2018)

Keyphrases

discrete variables
timed automata
model checking
continuous variables
markov networks
first order logic
theorem prover
exact inference
theorem proving
mixed integer
penalty function
state space
binary variables
graphical models
real time systems
distributed systems
bayesian networks
markov random field