319 search results - page 1 / 64 » Dynamically inferring temporal properties |
PASTE
2004
ACM
13 years 10 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
UAI
2008
13 years 6 months ago
2008
Numerous temporal inference tasks such as fault monitoring and anomaly detection exhibit a persistence property: for example, if something breaks, it stays broken until an interve...
ICSE
2010
IEEE-ACM
13 years 9 months ago
2010
IEEE-ACM
FORMATS
2006
Springer
13 years 8 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
AAAI
2007
13 years 6 months ago
2007
We explore a means to both model and reason about partial observability within the scope of constraintbased temporal reasoning. Prior studies of uncertainty in Temporal CSPs have ...