On clock-aware LTL parameter synthesis of timed automata
type: Item
instance of: scholarly article
title: On clock-aware LTL parameter synthesis of timed automata
zbMATH Open document ID: 1395.68164
author: Peter Bezděk
author: Nikola Beneš
author: I. Černá
author: J. Barnat
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2018-06-27T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6895328
zbMATH Keywords: parameter synthesis
zbMATH Keywords: parametric timed automaton
zbMATH Keywords: linear temporal logic
zbMATH Keywords: clock-aware linear temporal logic
describes a project that uses: PPL
describes a project that uses: LTL2BA
MaRDI profile type: Publication
full work available at URL: j.jlamp.2018.05.004
OpenAlex ID: W2804291498
cites work: A theory of timed automata
cites work: Parametric real-time reasoning
cites work: Q4953401
cites work: Language Emptiness of Continuous-Time Parametric Timed Automata
cites work: Linear parametric model checking of timed automata
cites work: Decision problems for lower/upper bound parametric timed automata
cites work: On Clock-Aware LTL Properties of Timed Automata
cites work: AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
cites work: A really temporal logic
cites work: The benefits of relaxing punctuality
cites work: An automata-theoretic approach to constraint LTL
cites work: Q4412502
cites work: Formal Methods for the Design of Real-Time Systems
cites work: Q5322945
cites work: LTL Parameter Synthesis of Parametric Timed Automata
cites work: Checking timed Büchi automata emptiness on simulation graphs
cites work: Lectures on Concurrency and Petri Nets
cites work: Forward analysis of updatable timed automata
cites work: Checking timed Büchi automata emptiness efficiently
cites work: Q4551134
cites work: Checking Timed Büchi Automata Emptiness Using LU-Abstractions
cites work: Efficient emptiness check for timed Büchi automata
cites work: Analysis of timed systems using time-abstracting bisimulations
DOI: 10.1016/J.JLAMP.2018.05.004
description: scientific article; zbMATH DE number 6895328