Decision problems for lower/upper bound parametric timed automata
type: Item
instance of: scholarly article
title: Decision problems for lower/upper bound parametric timed automata
zbMATH Open document ID: 1186.68245
author: Laura Bozzelli
author: Salvatore La Torre
published in: Formal Methods in System Design
publication date: 2009-12-02T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5641452
zbMATH Keywords: parametric real-time verification
zbMATH Keywords: parametric timed automata
zbMATH Keywords: timed temporal logics
zbMATH Keywords: synthesis of parameters
MaRDI profile type: Publication
full work available at URL: s10703-009-0074-0
OpenAlex ID: W1992147928
cites work: A theory of timed automata
cites work: Formal Methods for the Design of Real-Time Systems
cites work: Model-checking in dense real-time
cites work: Parametric real-time reasoning
cites work: The benefits of relaxing punctuality
cites work: Parametric temporal logic for “model measuring”
cites work: Q4418693
cites work: Parametric Metric Interval Temporal Logic
cites work: What's decidable about hybrid automata?
cites work: Linear parametric model checking of timed automata
cites work: Parametric timing analysis for real-time systems
DOI: 10.1007/S10703-009-0074-0
description: scientific article; zbMATH DE number 5641452