Login / Signup

Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic.

Harald FecherImmo Grabe
Published in: FSEN (2007)
Keyphrases
  • transition systems
  • reactive systems
  • concurrent systems
  • reinforcement learning
  • temporal logic
  • formal specification