3169 search results - page 67 / 634 » Robust Timed Automata |
RTSS
2002
IEEE
15 years 6 months ago
2002
IEEE
abstractions + algorithms For Robustness to Timing Faults A new optimality criterion + algorithms
115
click to vote
JLP
2010
14 years 8 months ago
2010
We present a general framework for the analysis of quantitative and qualitative properties of reactive systems, based on a notion of weighted transition systems. We introduce and ...
106
click to vote
MCU
2004
15 years 3 months ago
2004
Many different definitions of computational universality for various types of systems have flourished since Turing's work. In this paper, we propose a general definition of un...
107
click to vote
FUIN
2006
15 years 1 months ago
2006
Many different definitions of computational universality for various types of dynamical systems have flourished since Turing's work. We propose a general definition of univers...
107
click to vote
JAIR
2006
15 years 1 months ago
2006
In this paper we present pddl+, a planning domain description language for modelling mixed discrete-continuous planning domains. We describe the syntax and modelling style of pddl...