Login / Signup
A coalgebraic treatment of conditional transition systems with upgrades.
Harsh Beohar
Barbara König
Sebastian Küpper
Alexandra Silva
Thorsten Wißmann
Published in:
Log. Methods Comput. Sci. (2018)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
distributed systems
reactive systems
markov chain
social networks
reinforcement learning
domain specific
linear programming
heuristic search
model checker