IMITATOR
From MaRDI portal
Software:13197
No author found.
Related Items (33)
LIKE ME?- MEASURES OF CORRESPONDENCE AND IMITATION ⋮ A case study on parametric verification of failure detectors ⋮ Spotlight abstraction in model checking real-time task schedulability ⋮ \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability ⋮ Unnamed Item ⋮ Synthesis of Timing Parameters Satisfying Safety Properties ⋮ Parametric Verification and Test Coverage for Hybrid Automata Using the Inverse Method ⋮ An automated system repair framework with signal temporal logic ⋮ Imitators and optimizers in a changing environment ⋮ Parametric Deadlock-Freeness Checking Timed Automata ⋮ Unnamed Item ⋮ Unnamed Item ⋮ One unresolvable algorithmic problem ⋮ A survey of timed automata for the development of real-time systems ⋮ Unnamed Item ⋮ Optimal patent length and breadth in an economy with creative destruction and non-diversifiable risk ⋮ Unnamed Item ⋮ Parametric Timed Model Checking for Guaranteeing Timed Opacity ⋮ Parameter synthesis for hierarchical concurrent real-time systems ⋮ An extension of the inverse method to probabilistic timed automata ⋮ Merge and Conquer: State Merging in Parametric Timed Automata ⋮ Unnamed Item ⋮ Behavioral Cartography of Timed Automata ⋮ Imitative learning based emotional controller for unknown systems with unstable equilibrium ⋮ Time4sys2imi: a tool to formalize real-time system models under uncertainty ⋮ What’s Decidable About Parametric Timed Automata? ⋮ Profit-enhancing parallel imports ⋮ Unnamed Item ⋮ Explaining fashion cycles: imitators chasing innovators in product space ⋮ AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA ⋮ One-way spillovers, endogenous innovator/imitator roles, and research joint ventures ⋮ Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction* ⋮ Efficient convex zone merging in parametric timed automata
This page was built for software: IMITATOR
