The following pages link to Parametric real-time reasoning (Q5248530):
Displaying 50 items.
- Shrinking of time Petri nets (Q378906) (← links)
- Robust synthesis for real-time systems (Q386617) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Low dimensional hybrid systems -- decidable, undecidable, don't know (Q418141) (← links)
- Robust reachability in timed automata and games: a game-based approach (Q481098) (← links)
- Parametric metric interval temporal logic (Q483304) (← links)
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- On parametric timed automata and one-counter machines (Q515666) (← links)
- Interval logics and their decision procedures. II: A real-time interval logic (Q672040) (← links)
- Reachability solution characterization of parametric real-time systems (Q703513) (← links)
- Time-budgeting: a component based development methodology for real-time embedded systems (Q736795) (← links)
- Stubborn set reduction for timed reachability and safety games (Q832029) (← links)
- Tweaking the odds in probabilistic timed automata (Q832050) (← links)
- \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability (Q832203) (← links)
- Robust parametric reachability for timed automata (Q846009) (← links)
- Parametric probabilistic transition systems for system design and analysis (Q877158) (← links)
- On minimal elements of upward-closed sets (Q1019726) (← links)
- Decision problems for lower/upper bound parametric timed automata (Q1041291) (← links)
- What's decidable about hybrid automata? (Q1273866) (← links)
- Generalized discrete timed automata: Decidable approximations for safety verification. (Q1401259) (← links)
- On clock-aware LTL parameter synthesis of timed automata (Q1648651) (← links)
- The language preservation problem is undecidable for parametric event-recording automata (Q1751409) (← links)
- Reachability in parametric interval Markov chains using constraints (Q1786613) (← links)
- Linear parametric model checking of timed automata (Q1858447) (← links)
- Updatable timed automata (Q1885906) (← links)
- Iterative bounded synthesis for efficient cycle detection in parametric timed automata (Q2044207) (← links)
- Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← links)
- Efficient convex zone merging in parametric timed automata (Q2112120) (← links)
- An algorithm for single-source shortest paths enumeration in parameterized weighted graphs (Q2232289) (← links)
- On completeness of liveness synthesis for parametric timed automata (Extended Abstract) (Q2237334) (← links)
- An extension of the inverse method to probabilistic timed automata (Q2248053) (← links)
- Consistency in parametric interval probabilistic timed automata (Q2291816) (← links)
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques (Q2343139) (← links)
- Formal verification of multitasking applications based on timed automata model (Q2475307) (← links)
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions (Q2636513) (← links)
- Formalized Timed Automata (Q2829277) (← links)
- Discrete Parameters in Petri Nets (Q2941148) (← links)
- Language Preservation Problems in Parametric Timed Automata (Q2945580) (← links)
- Parameterized Weighted Containment (Q2946752) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Parametric Deadlock-Freeness Checking Timed Automata (Q3179417) (← links)
- Reachability in Succinct and Parametric One-Counter Automata (Q3184686) (← links)
- Parametric Timed Model Checking for Guaranteeing Timed Opacity (Q3297588) (← links)
- Time Unbalanced Partial Order (Q3434608) (← links)
- An Inverse Method for Parametric Timed Automata (Q4982084) (← links)
- Efficient scaling-invariant checking of timed bisimulation (Q5047170) (← links)
- (Q5111627) (← links)
- The Complexity of Flat Freeze LTL (Q5111647) (← links)
- Parametric Verification of Weighted Systems (Q5240155) (← links)
