Model Checking Timed and Strategic Properties

This publication has 93 references indexed in Scilit:

• Model-Checking Timed ATL for Durational Concurrent Game Structures
  Lecture Notes in Computer Science, 2006
• Comparison of the Expressiveness of Timed Automata and Time Petri Nets
  2005
• Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems
  Lecture Notes in Computer Science, 2005
• Experimental Analysis of Different Techniques for Bounded Model Checking
  Lecture Notes in Computer Science, 2003
• State Class Constructions for Branching Analysis of Time Petri Nets
  2003
• Bounded Model Checking for Timed Systems
  Lecture Notes in Computer Science, 2002
• Towards Bounded Model Checking for the Universal Fragment of TCTL
  2002
• Symbolic computation tree logic model checking of time Petri nets
  Electronics and Communications in Japan (Part III: Fundamental Electronic Science), 1997
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• Model-Checking in Dense Real-Time
  Information and Computation, 1993