Login / Signup

Concurrent Implementation of Asynchronous Transition Systems.

Walter Vogler
Published in: ICATPN (1999)
Keyphrases
  • transition systems
  • model checking
  • concurrent systems
  • temporal logic
  • practical reasoning
  • multi agent
  • search algorithm
  • utility function
  • finite state