279 search results - page 2 / 56 » Timed Temporal Logics for Abstracting Transient States |
TIME
2006
IEEE
13 years 10 months ago
2006
IEEE
TACAS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
JUCS
2006
13 years 4 months ago
2006
: In this paper we describe a technique for monitoring and checking temporal logic assertions augmented with real-time and time-series constraints, or Metric Temporal Logic Series ...
ENTCS
2007
13 years 4 months ago
2007
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
PODC
1990
ACM
13 years 8 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...