Login / Signup
-Coalgebras to Filter Structures and Transition Systems.
H. Peter Gumm
Published in:
CALCO (2005)
Keyphrases
</>
transition systems
concurrent systems
model checking
finite state
temporal logic
practical reasoning
artificial intelligence
reinforcement learning
decision theoretic