Login / Signup
Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic.
Harald Fecher
Immo Grabe
Published in:
FSEN (2007)
Keyphrases
</>
transition systems
reactive systems
concurrent systems
reinforcement learning
temporal logic
formal specification