3169 search results - page 67 / 634 » Robust Timed Automata |
RTSS
2002
IEEE
14 years 1 months ago
2002
IEEE
abstractions + algorithms For Robustness to Timing Faults A new optimality criterion + algorithms
JLP
2010
13 years 3 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 ...
MCU
2004
13 years 10 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...
FUIN
2006
13 years 8 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...
JAIR
2006
13 years 8 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...