3 search results - page 1 / 1 » Robust Vacuity for Branching Temporal Logic |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
CONCUR
1999
Springer
14 years 3 months ago
1999
Springer
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...
IJCAI
2003
14 years 10 days ago
2003
This paper presents a new scenario recognition algorithm for Video Interpretation. We represent a scenario model by specifying the characters involved in the scenario, the sub-sce...