Towards Synthesizing Open Systems : Tableaux For Multi-Agent Temporal Logics
Dans cette thèse, nous essayons de fournir des outils automatisés pour élaborer des systèmes ouverts sûrs. Les systèmes ouverts, qui peuvent être vus comme des systèmes multi-agents, peuvent être spécifiés en ATL. La logique ATL a été introduite dans ce but précis. Il existe deux extensions intéress...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2015
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2015SACLE020 |