A Symbolic Decision Procedure for Robust Safety of Timed Systems

Authors:
Mani Swaminathan;Martin Franzle
Affiliations:
University of Oldenburg, Germany;University of Oldenburg, Germany
Venue:
TIME '07 Proceedings of the 14th International Symposium on Temporal Representation and Reasoning
Year:
2007

Citing 0
Cited 4

Robust safety of timed automata

Formal Methods in System Design
Robust analysis of timed automata via channel machines

FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata

Proceedings of the 14th international conference on Hybrid systems: computation and control
Quantitative robustness analysis of flat timed automata

FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software

Quantified Score

Hi-index	0.00

Visualization

Abstract

Automated planning is a central area of artificial intelligence, involving the design of languages and computational models for reasoning about actions, change and time. In domain-independent planning, a planning problem is specified by the description ...