3082 search results - page 115 / 617 » New Bounds for the Controller Problem |
161
click to vote
FORMATS
2004
Springer
15 years 9 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
128
click to vote
ECCC
2007
15 years 4 months ago
2007
In cryptography, there has been tremendous success in building primitives out of homomorphic semantically-secure encryption schemes, using homomorphic properties in a blackbox way...
163
Voted
ECBS
2010
IEEE
15 years 8 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
133
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Meta-level control manages the allocation of limited resources to deliberative actions. This paper discusses efforts in adding meta-level control capabilities to a Markov Decision...
123
click to vote
CHARME
2003
Springer
15 years 9 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...