Conditional Transition Systems with Upgrades.
Harsh BeoharBarbara KönigSebastian KüpperAlexandra SilvaPublished in: CoRR (2017)
Keyphrases
- transition systems
- model checking
- concurrent systems
- temporal logic
- finite state
- practical reasoning
- control flow
- reactive systems
- model checker
- distributed systems
- linear programming
- source code
- dynamical systems
- markov decision processes
- software architecture
- learning algorithm
- formal specification
- domain specific
- fully observable
- social networks