Pages that link to "Item:Q5277690"
From MaRDI portal
The following pages link to Deterministic generators and games for Ltl fragments (Q5277690):
Displayed 30 items.
- Automata-theoretic decision of timed games (Q386611) (← links)
- Finding and fixing faults (Q414907) (← links)
- Towards a notion of unsatisfiable and unrealizable cores for LTL (Q433349) (← links)
- Synthesis of Reactive(1) designs (Q439954) (← links)
- Visibly pushdown modular games (Q515657) (← links)
- Doomsday equilibria for omega-regular games (Q528193) (← links)
- Problems of synthesis of \(\Sigma\)-automata specified in languages LP and LF of first order logic (Q681718) (← links)
- Agent planning programs (Q899440) (← links)
- Harmonization of interacting automata (Q904417) (← links)
- Compositional and symbolic synthesis of reactive controllers for multi-agent systems (Q1641032) (← links)
- Cycle detection in computation tree logic (Q1784962) (← links)
- Static and dynamic property-preserving updates (Q2042718) (← links)
- Linear temporal logic -- from infinite to finite horizon (Q2147173) (← links)
- From LTL to deterministic automata. A safraless compositional approach (Q2363815) (← links)
- Robust, expressive, and quantitative linear temporal logics: pick any two for free (Q2672232) (← links)
- Index appearance record with preorders (Q2675810) (← links)
- Cooperative concurrent games (Q2680769) (← links)
- Functional Encryption for Inner Product with Full Function Privacy (Q2798775) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition (Q3189650) (← links)
- Index Appearance Record for Transforming Rabin Automata into Parity Automata (Q3303907) (← links)
- Optimal Translation of LTL to Limit Deterministic Automata (Q3303923) (← links)
- (Q5015276) (← links)
- (Q5020519) (← links)
- Complexity of model checking MDPs against LTL specifications (Q5136327) (← links)
- A GENERAL NOTION OF UNIFORM STRATEGIES (Q5406294) (← links)
- Most General Property-Preserving Updates (Q5739011) (← links)
- On the complexity of rational verification (Q6133701) (← links)
- Certified reinforcement learning with logic guidance (Q6136089) (← links)
- On tolerance of discrete systems with respect to transition perturbations (Q6201386) (← links)