Parameter Synthesis for Timed Kripke Structures
From MaRDI portal
Recommendations
- Parameter synthesis through temporal logic specifications
- scientific article; zbMATH DE number 4016870
- 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
Cited in
(15)- On clock-aware LTL parameter synthesis of timed automata
- Integer-complete synthesis for bounded parametric timed automata
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions
- Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications
- LTL parameter synthesis of parametric timed automata
- Fast, flexible, and minimal CTL synthesis via SMT
- Merge and conquer: state merging in parametric timed automata
- 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
- Real-Time Model-Checking: Parameters everywhere
- Integer Parameter Synthesis for Timed Automata
- Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques
- Formal Modeling and Analysis of Timed Systems
- Accelerating parameter synthesis using semi-algebraic constraints
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)
