Model-checking ecological state-transition graphs.
Colin ThomasMaximilien CosmeCédric GaucherelFranck PommereauPublished in: PLoS Comput. Biol. (2022)
Keyphrases
- model checking
- state transition
- finite state machines
- temporal logic
- state transitions
- state transition model
- model checker
- input output
- formal specification
- formal verification
- black box
- temporal properties
- finite state
- symbolic model checking
- automated verification
- state space
- hidden markov models
- timed automata
- formal methods
- verification method
- reachability analysis
- bounded model checking
- markov chain
- pspace complete
- epistemic logic
- transition model
- computation tree logic
- transition systems
- satisfiability problem
- probability distribution
- alternating time temporal logic
- learning algorithm
- process algebra
- artificial intelligence
- concurrent systems
- reactive systems
- database systems