Conditional transition systems with upgrades.

Harsh Beohar Barbara König Sebastian Küpper Alexandra Silva

Published in: TASE (2017)

Keyphrases

transition systems
concurrent systems
model checking
temporal logic
finite state
control flow
practical reasoning
reactive systems
petri net
formal verification
artificial intelligence
distributed systems
process model
dynamical systems
formal specification