Login / Signup

Distances for Weighted Transition Systems: Games and Properties

Uli FahrenbergClaus R. ThraneKim G. Larsen
Published in: QAPL (2011)
Keyphrases
  • transition systems
  • temporal logic
  • multi agent systems
  • model checking
  • desirable properties
  • game theory
  • concurrent systems
  • web services
  • markov models