475 search results - page 46 / 95 » Temporal Logic Model Checking (Abstract) |
157
click to vote
ICFEM
2009
Springer
16 years 16 days ago
2009
Springer
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
156
click to vote
ISCIS
2004
Springer
15 years 11 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
144
click to vote
KBSE
2008
IEEE
16 years 11 days ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
179
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— This paper presents a geometry-based, multilayered synergistic approach to solve motion planning problems for mobile robots involving temporal goals. The temporal goals...
176
click to vote
IJCAI
2003
15 years 7 months ago
2003
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...