4460 search results - page 224 / 892 » Formal methods for interactive systems |
166
click to vote
ER
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
152
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
Service robots will have to accomplish more and more complex, open-ended tasks and regularly acquire new skills. In this work, we propose a new approach to generating plans for su...
151
Voted
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
Recent years have seen a proliferation of 3-valued or capturing abstractions of systems, since these enable verifying both universal and existential properties. Reasoning about suc...
139
Voted
SAS
2000
Springer
15 years 8 months ago
2000
Springer
Design constraints express essential behavioural properties of a software system. Two key elements of a scheme for enforcing design constraints are presented: a logic for describin...
162
click to vote
FORMATS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...