8 search results - page 2 / 2 » Half-Order Modal Logic: How to Prove Real-Time Properties |
FOSSACS
2007
Springer
13 years 11 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
MFCS
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
HYBRID
2010
Springer
13 years 11 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...