Login / Signup

Foundations for using linear temporal logic in Event-B refinement.

Thai Son HoangSteve A. SchneiderHelen TreharneDavid M. Williams
Published in: Formal Aspects Comput. (2016)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • event detection
  • artificial intelligence
  • reinforcement learning
  • multi agent systems
  • transition systems