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
• Synthesis of timing parameters satisfying safety properties
• 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?)
• Language preservation problems in parametric timed automata
• What's decidable about parametric timed automata?
• Profit-enhancing parallel imports
• 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
• 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
• Title not available (Why is that?)
• Parametric verification and test coverage for hybrid automata using the inverse method
• Parameter synthesis for hierarchical concurrent real-time systems
• Verification and parameter synthesis for real-time programs using refinement of trace abstraction
• One unresolvable algorithmic problem
• Imitative learning based emotional controller for unknown systems with unstable equilibrium
• Behavioral cartography of timed automata
• Merge and conquer: state merging in parametric timed automata
• Evolution game analysis of the unbalance in human capital investment
• Title not available (Why is that?)

This page was built for software: IMITATOR