360 search results - page 7 / 72 » Hybrid Branching-Time Logics |
HYBRID
2007
Springer
15 years 4 months ago
2007
Springer
CADE
2002
Springer
15 years 10 months ago
2002
Springer
ICECCS
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...
116
click to vote
LICS
2012
IEEE
13 years 6 days ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
IAT
2009
IEEE
15 years 4 months ago
2009
IEEE
—Commitments based on branching time logic are powerful representations for modeling multi-agent interactions. Current approaches into commitments have conceived these representa...