The following pages link to IMITATOR (Q13197):
Displayed 33 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- Optimal patent length and breadth in an economy with creative destruction and non-diversifiable risk (Q617362) (← links)
- Spotlight abstraction in model checking real-time task schedulability (Q832017) (← links)
- \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability (Q832203) (← links)
- Imitators and optimizers in a changing environment (Q844651) (← links)
- Profit-enhancing parallel imports (Q993471) (← links)
- Explaining fashion cycles: imitators chasing innovators in product space (Q1017055) (← links)
- One unresolvable algorithmic problem (Q1357929) (← links)
- One-way spillovers, endogenous innovator/imitator roles, and research joint ventures (Q1566888) (← links)
- Efficient convex zone merging in parametric timed automata (Q2112120) (← links)
- An automated system repair framework with signal temporal logic (Q2139184) (← links)
- An extension of the inverse method to probabilistic timed automata (Q2248053) (← links)
- Time4sys2imi: a tool to formalize real-time system models under uncertainty (Q2279117) (← links)
- Synthesis of Timing Parameters Satisfying Safety Properties (Q3172862) (← links)
- Parametric Verification and Test Coverage for Hybrid Automata Using the Inverse Method (Q3172874) (← links)
- Parametric Deadlock-Freeness Checking Timed Automata (Q3179417) (← links)
- Parametric Timed Model Checking for Guaranteeing Timed Opacity (Q3297588) (← links)
- Behavioral Cartography of Timed Automata (Q3584962) (← links)
- AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA (Q3646167) (← links)
- (Q3838856) (← links)
- (Q4484153) (← links)
- What’s Decidable About Parametric Timed Automata? (Q4686606) (← links)
- LIKE ME?- MEASURES OF CORRESPONDENCE AND IMITATION (Q4781319) (← links)
- (Q4811946) (← links)
- Imitative learning based emotional controller for unknown systems with unstable equilibrium (Q4932969) (← links)
- Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction* (Q4989166) (← links)
- (Q4989408) (← links)
- (Q5101345) (← links)
- Merge and Conquer: State Merging in Parametric Timed Automata (Q5166701) (← links)
- (Q5208876) (← links)
- (Q5456012) (← links)
- A case study on parametric verification of failure detectors (Q5883746) (← links)