Parameter Synthesis for Timed Kripke Structures
From MaRDI portal
Publication:2934895
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
Cited in
(15)- Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques
- 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
- Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications
- LTL parameter synthesis of parametric timed automata
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
- Accelerating parameter synthesis using semi-algebraic constraints
- On clock-aware LTL parameter synthesis of timed automata
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions
- Integer-complete synthesis for bounded parametric timed automata
- Merge and conquer: state merging in parametric timed automata
- Formal Modeling and Analysis of Timed Systems
- Real-Time Model-Checking: Parameters everywhere
- Fast, flexible, and minimal CTL synthesis via SMT
- Integer Parameter Synthesis for Timed Automata
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)
