The following pages link to (Q4037392):
Displaying 5 items.
- Synthesis of large dynamic concurrent programs from dynamic specifications (Q346790) (← links)
- Synthesis from scenario-based specifications (Q439960) (← links)
- A theory of timed automata (Q1322162) (← links)
- On control of systems modelled as deterministic Rabin automata (Q1902499) (← links)
- Distributed synthesis for regular and contextfree specifications (Q2249664) (← links)
