Keyphrases
- random graphs
- model checking
- phase transition
- temporal logic
- first order logic
- satisfiability problem
- constraint satisfaction
- formal verification
- model checker
- np complete
- temporal properties
- symbolic model checking
- graph theoretic
- computation tree logic
- finite state machines
- verification method
- automated verification
- fixpoint
- pspace complete
- formal specification
- epistemic logic
- timed automata
- cellular automata
- computational complexity
- np hard
- bounded model checking
- transition systems
- small world
- modal logic
- reactive systems
- undirected graph
- random walk
- linear temporal logic
- graph theory
- deterministic finite automaton
- reinforcement learning