Timed automata relaxation for reachability
type: Item
instance of: scholarly article
title: Timed automata relaxation for reachability
zbMATH Open document ID: 1467.68079
DOI: 10.1007/978-3-030-72016-2_16
author: Jaroslav Bendík
author: Ahmet Sencan
author: Ebru Aydin Gol
author: I. Černá
publication date: 2021-08-04T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 7378309
zbMATH Keywords: timed automata
zbMATH Keywords: relaxation
zbMATH Keywords: reachability
MaRDI profile type: Publication
full work available at URL: 978-3-030-72016-2 16
OpenAlex ID: W3117866502
cites work: Q4551179
cites work: Q4817528
cites work: A theory of timed automata
cites work: Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking
cites work: Parametric verification: an introduction
cites work: Finding a Collection of MUSes Incrementally
cites work: Analysing sanity of requirements for avionics systems
cites work: Q4636600
cites work: Recursive online enumeration of all minimal unsatisfiable subsets
cites work: Online Enumeration of All Minimal Inductive Validity Cores
cites work: Language Emptiness of Continuous-Time Parametric Timed Automata
cites work: LTL Parameter Synthesis of Parametric Timed Automata
cites work: On clock-aware LTL parameter synthesis of timed automata
cites work: On the optimal reachability problem of weighted timed automata
cites work: Q2769587
cites work: On computing minimal independent support and its applications to sampling and counting
cites work: Integer Parameter Synthesis for Timed Automata
cites work: Bounded Model Checking for Parametric Timed Automata
cites work: Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques
cites work: Time-abstracted bisimulation: Implicit specifications and decidability
cites work: Fast, flexible MUS enumeration
cites work: Minimal sets on propositional formulae. Problems and reductions
description: scientific article; zbMATH DE number 7378309