An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems.
Daisuke IshiiKazunori UedaHiroshi HosobePublished in: Int. J. Softw. Tools Technol. Transf. (2011)
Keyphrases
- model checking
- hybrid systems
- temporal logic
- satisfiability problem
- black box
- intelligent systems
- meta learning
- computational intelligence
- soft computing
- neural network
- formal verification
- discrete event
- temporal reasoning
- artificial intelligence
- formal methods
- verification method
- boolean formula
- search strategies
- sat problem
- propositional satisfiability
- search algorithm
- sat solvers
- search problems
- genetic algorithm
- learning algorithm
- web services
- artificial neural networks
- data model
- fuzzy logic
- object oriented
- phase transition
- dynamic systems
- mathematical model
- dynamical systems