The following pages link to (Q5692280):
Displayed 50 items.
- Finite abstractions with robustness margins for temporal logic-based control synthesis (Q313326) (← links)
- A game-theoretic approach to fault diagnosis and identification of hybrid systems (Q391104) (← links)
- An algebraic theory of interface automata (Q402131) (← links)
- A survey of stochastic \(\omega \)-regular games (Q414898) (← links)
- Antichains and compositional algorithms for LTL synthesis (Q453498) (← links)
- Refinement modal logic (Q476194) (← links)
- Interface simulation distances (Q477211) (← links)
- A modal characterization of alternating approximate bisimilarity (Q479808) (← links)
- Refining autonomous agents with declarative beliefs and desires (Q520236) (← links)
- Quantitative fair simulation games (Q528184) (← links)
- Refining strategic ability in alternating-time temporal logic (Q528195) (← links)
- Specifications for decidable hybrid games (Q650914) (← links)
- Composing model programs for analysis (Q710670) (← links)
- On timed alternating simulation for concurrent timed games (Q715043) (← links)
- Test generation from state based use case models (Q736788) (← links)
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (Q746785) (← links)
- Simulation distances (Q764284) (← links)
- Augmenting ATL with strategy contexts (Q897650) (← links)
- Deductive verification of alternating systems (Q939163) (← links)
- An abstraction-refinement methodology for reasoning about network games (Q1630443) (← links)
- Generalized interface automata with multicast synchronization (Q1633060) (← links)
- Symbolic control design for monotone systems with directed specifications (Q1679067) (← links)
- Deadlock-free output feedback controller design based on approximately abstracted observers (Q1730325) (← links)
- Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
- Modal event-clock specifications for timed component-based design (Q1951603) (← links)
- A game approach to determinize timed automata (Q2018058) (← links)
- A logic for conditional local strategic reasoning (Q2155205) (← links)
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games (Q2211871) (← links)
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol (Q2225593) (← links)
- Refinement checking on parametric modal transition systems (Q2340259) (← links)
- Interface synthesis and protocol conversion (Q2481210) (← links)
- Error-pruning in interface automata (Q2517232) (← links)
- Controller synthesis for bisimulation equivalence (Q2519735) (← links)
- Synthesising succinct strategies in safety games with an application to real-time scheduling (Q2636511) (← links)
- Formal controller synthesis from specifications given by discrete-time hybrid automata (Q2665407) (← links)
- The refinement calculus of reactive systems (Q2672236) (← links)
- An Algorithm for Probabilistic Alternating Simulation (Q2891387) (← links)
- Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata (Q3000640) (← links)
- Symbolic Model Checking in Non-Boolean Domains (Q3176389) (← links)
- (Q3384883) (← links)
- Play to Test (Q3434603) (← links)
- A Pre-congruence Format for XY-simulation (Q3455865) (← links)
- Quantitative Simulation Games (Q3587251) (← links)
- Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation (Q3648824) (← links)
- Symbolic models for nonlinear control systems affected by disturbances (Q4897709) (← links)
- (Q4972730) (← links)
- Combining Partial Specifications using Alternating Interface Automata (Q5039544) (← links)
- (Q5090977) (← links)
- (Q5111630) (← links)
- Model-Based Testing (Q5175779) (← links)