1167 search results - page 1 / 234 » A Really Temporal Logic |
FOCS
1989
IEEE
13 years 11 months ago
1989
IEEE
We introduce a temporal logic for the speci cation of real-time systems. Our logic, TPTL, employs a novel quanti er construct for referencing time: the freeze quanti er binds a var...
TACAS
2001
Springer
13 years 12 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
IJCAI
2007
13 years 9 months ago
2007
PERCOM
2011
ACM
12 years 11 months ago
2011
ACM
—While most activity recognition systems rely on data-driven approaches, the use of knowledge-driven techniques is gaining increasing interest. Research in this field has mainly...
ICLP
2001
Springer
13 years 12 months ago
2001
Springer