3 search results - page 1 / 1 » Robust Vacuity for Branching Temporal Logic |
CORR
2010
Springer
13 years 3 months ago
2010
Springer
CONCUR
1999
Springer
13 years 9 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
13 years 6 months 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...