IMITATOR

swMATH439MaRDI QIDQ13197FDOQ13197

Author name not available (Why is that?)

Cited In (33)

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

This page was built for software: IMITATOR