798 search results - page 139 / 160 » Proving More Properties with Bounded Model Checking |
122
click to vote
LPNMR
1997
Springer
15 years 7 months ago
1997
Springer
This paper introduces power default reasoning (PDR), a framework for nonmonotonic reasoning based on the domain-theoretic idea of modeling default rules with partial-information i...
85
Voted
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— This paper deals with the platooning problem that can be defined as the automatic following of a manned driven vehicle by a convoy of automatic ones. Different approaches have...
133
Voted
MEMBRANE
2009
Springer
15 years 10 months ago
2009
Springer
would be an abstract answer (because it would not immediately link a formal model with the biological reality that inspired it or with possible implementations) from the other hand...
150
click to vote
NGITS
1999
Springer
15 years 7 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
126
Voted
CORR
2012
Springer
13 years 11 months ago
2012
Springer
In this paper we consider the MAX-WEIGHT protocol for routing and scheduling in wireless networks under an adversarial model. This protocol has received a significant amount of a...