Decidable verification for reducible timed automata specified in a first order logic with time
type: Item
instance of: scholarly article
title: Decidable verification for reducible timed automata specified in a first order logic with time
zbMATH Open document ID: 1026.68079
DOI: 10.1016/S0304-3975(01)00186-4
author: Danièle Beauquier
author: Anatol Slissenko
published in: Theoretical Computer Science
publication date: 2002-07-31T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 03B10
zbMATH DE Number: 1774104
zbMATH Keywords: timed automata
zbMATH Keywords: verification
zbMATH Keywords: first-order logic
zbMATH Keywords: decidable class
MaRDI profile type: Publication
cites work: A theory of timed automata
cites work: The benefits of relaxing punctuality
cites work: Q3839068
cites work: Q4934321
cites work: A first order logic for specification of timed algorithms: Basic properties and a decidable class
cites work: Complexity of deciding Tarski algebra
cites work: Q4251919
cites work: Q4938638
cites work: Q4945224
cites work: On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
cites work: Q3221371
cites work: Q4094390
full work available at URL: s0304-3975(01)00186-4
OpenAlex ID: W1975997547
Recommended article: Q4934321
Recommended article: Verification of Timed Automata via Satisfiability Checking
Recommended article: A first order logic for specification of timed algorithms: Basic properties and a decidable class
Recommended article: Verified Certification of Reachability Checking for Timed Automata
Recommended article: Verified model checking of timed automata
Recommended article: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Recommended article: Decidability and incompleteness results for first-order temporal logics of linear time
Recommended article: Q4270073
Recommended article: Q4508304
Recommended article: Theoretical Aspects of Computing - ICTAC 2004
description: scientific article; zbMATH DE number 1774104