Login / Signup

Distributed Versions of Linear Time Temporal Logic: A Trace Perspective.

P. S. ThiagarajanJesper G. Henriksen
Published in: Petri Nets (1996)
Keyphrases
  • linear time temporal logic
  • distributed systems
  • multi agent
  • machine learning
  • peer to peer
  • sufficient conditions