Parametric Identification of Temporal Properties
- 1 January 2012
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 21 references indexed in Scilit:
- Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems BiologyJournal of Computational Biology, 2010
- Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid SystemsLecture Notes in Computer Science, 2010
- Robust Satisfaction of Temporal Logic over Real-Valued SignalsLecture Notes in Computer Science, 2010
- Parametric Metric Interval Temporal LogicLecture Notes in Computer Science, 2010
- Robustness of temporal logic specifications for continuous-time signalsTheoretical Computer Science, 2009
- Parameter Synthesis for Hybrid Systems with an Application to Simulink ModelsLecture Notes in Computer Science, 2009
- From Model-Checking to Temporal Logic Constraint SolvingLecture Notes in Computer Science, 2009
- Decision Problems for Lower/Upper Bound Parametric Timed AutomataLecture Notes in Computer Science, 2007
- Temporal-logic QueriesLecture Notes in Computer Science, 2000
- Inductive Inference: Theory and MethodsACM Computing Surveys, 1983