Login / Signup
Symbolic model checking of extended finite state machines with linear constraints over integer variables.
Takashi Takenaka
Kozo Okano
Teruo Higashino
Kenichi Taniguchi
Published in:
Systems and Computers in Japan (2006)
Keyphrases
</>
finite state machines
linear constraints
symbolic model checking
model checking
integer variables
knapsack problem
partial observability
branch and bound algorithm
continuous variables
network design problem
mixed integer
binary decision diagrams
dynamical systems
convex sets