Login / Signup
Selected Methods of Model Checking using SAT and SMT-solvers: (Doctoral Consortium).
Agnieszka M. Zbrzezny
Published in:
AAMAS (2015)
Keyphrases
</>
model checking
temporal logic
machine learning
artificial intelligence
search algorithm
search space
software engineering
phase transition
satisfiability problem
sat solvers
timed automata