Parameter Synthesis for Timed Kripke Structures

DOI10.3233/FI-2014-1072zbMATH Open1317.68118MaRDI QIDQ2934895FDOQ2934895

Authors: Michał Knapik, Wojciech Penczek 

Publication date: 22 December 2014

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Recommendations

• Parameter synthesis through temporal logic specifications
• Publication:3028984
• LTL parameter synthesis of parametric timed automata
• Integer Parameter Synthesis for Timed Automata
• scientific article; zbMATH DE number 2087436
• On the expressiveness of parametric timed automata
• Constructive linear-time temporal logic: proof systems and Kripke semantics
• Some results on parametric temporal logic
• Distributed synthesis for parameterized temporal logics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Semantics in the theory of computing (68Q55)

Cited In (14)

• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Proceedings of the 1st international workshop on synthesis of continuous parameters, SynCoP'14, Grenoble, France, April 6, 2014
• Parameter synthesis for probabilistic timed automata using stochastic game abstractions
• On clock-aware LTL parameter synthesis of timed automata
• Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques
• LTL parameter synthesis of parametric timed automata
• Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications
• Integer-complete synthesis for bounded parametric timed automata
• Integer Parameter Synthesis for Timed Automata
• Formal Modeling and Analysis of Timed Systems
• Fast, flexible, and minimal CTL synthesis via SMT
• Parameter synthesis for probabilistic timed automata using stochastic game abstractions
• Merge and conquer: state merging in parametric timed automata
• Real-Time Model-Checking: Parameters everywhere

This page was built for publication: Parameter Synthesis for Timed Kripke Structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2934895)