4502 search results - page 23 / 901 » Regular Model Checking |
97
Voted
CVPR
2012
IEEE
13 years 2 months ago
2012
IEEE
We introduce global regularities in the 2.5D building modeling problem, to reflect the orientation and placement similarities between planar elements in building structures. Give...
71
Voted
VMV
2001
15 years 1 months ago
2001
99
Voted
FSTTCS
2010
Springer
14 years 10 months ago
2010
Springer
We study the average number of transitions in Glushkov automata built from random regular expressions. This statistic highly depends on the probabilistic distribution set on the e...
79
Voted
ASPDAC
2006
ACM
15 years 6 months ago
2006
ACM
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
113
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...