Automatic Synthesis of Systems with Data: Synthèse Automatique de Systèmes avec Données
A reactive system is a system that continuously interacts with its environment. The environment provides an input signal, to which the system reacts with an output signal, and so on ad infinitum. In reactive synthesis, the goal is to automatically generate an implementation from a specification of t...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Doctoral Thesis |
| Language: | en |
| Published: |
Universite Libre de Bruxelles
2021
|
| Subjects: | |
| Online Access: | https://dipot.ulb.ac.be/dspace/bitstream/2013/333073/5/ContratDiExibard.pdf https://dipot.ulb.ac.be/dspace/bitstream/2013/333073/4/Table_of_Contents.pdf https://dipot.ulb.ac.be/dspace/bitstream/2013/333073/3/Exibard_Automatic_Synthesis_of_Systems_with_Data.pdf http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/333073 |