Pages that link to "Item:Q3646167"

The following pages link to AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA (Q3646167):

Displaying 22 items.

• Shrinking of time Petri nets (Q378906) (← links)
• Parametric metric interval temporal logic (Q483304) (← links)
• Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
• Tweaking the odds in probabilistic timed automata (Q832050) (← links)
• On clock-aware LTL parameter synthesis of timed automata (Q1648651) (← links)
• Iterative bounded synthesis for efficient cycle detection in parametric timed automata (Q2044207) (← links)
• Efficient convex zone merging in parametric timed automata (Q2112120) (← links)
• An extension of the inverse method to probabilistic timed automata (Q2248053) (← links)
• Consistency in parametric interval probabilistic timed automata (Q2291816) (← links)
• Language Preservation Problems in Parametric Timed Automata (Q2945580) (← links)
• Parametric Timed Model Checking for Guaranteeing Timed Opacity (Q3297588) (← links)
• What’s Decidable About Parametric Timed Automata? (Q4686606) (← links)
• Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints* (Q5025034) (← links)
• Parametric Analyses of Attack-fault Trees* (Q5025035) (← links)
• Safe Decomposition of Startup Requirements: Verification and Synthesis (Q5039507) (← links)
• (Q5094115) (← links)
• (Q5208876) (← links)
• A game approach to the parametric control of real-time systems (Q5231423) (← links)
• Parametric Verification of Weighted Systems (Q5240155) (← links)
• Distributed parametric model checking timed automata under non-zenoness assumption (Q6108439) (← links)
• Repairing timed automata clock guards through abstraction and testing (Q6536174) (← links)
• A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets (Q6622141) (← links)