Login / Signup
Engineering constraint solvers for automatic analysis of probabilistic hybrid automata.
Martin Fränzle
Tino Teige
Andreas Eggers
Published in:
J. Log. Algebraic Methods Program. (2010)
Keyphrases
</>
automatic analysis
hybrid automata
constraint solvers
constraint solving
finite state automata
constraint satisfaction problems
constraint programming
solving problems
set bounds propagation
genetic algorithm
constraint satisfaction