Login / Signup

A Sweep-Line Method for Büchi Automata-based Model Checking.

Sami EvangelistaLars Michael Kristensen
Published in: Fundam. Informaticae (2014)
Keyphrases
  • model checking
  • verification method
  • multi agent
  • artificial intelligence
  • formal verification