Pages that link to "Item:Q5703780"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5703780):
Displayed 5 items.
- Synthesis of Reactive(1) designs (Q439954) (← links)
- Problems of synthesis of \(\Sigma\)-automata specified in languages LP and LF of first order logic (Q681718) (← links)
- Causality-based game solving (Q832242) (← links)
- Maintenance goals of agents in a dynamic environment: formulation and policy construction (Q2389664) (← links)
- Model-Free Reinforcement Learning for Stochastic Parity Games (Q5089286) (← links)