1167 search results - page 1 / 234 » A Really Temporal Logic |
65
Voted
FOCS
1989
IEEE
15 years 1 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...
80
Voted
TACAS
2001
Springer
15 years 1 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
14 years 11 months ago
2007
PERCOM
2011
ACM
14 years 1 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
15 years 1 months ago
2001
Springer