Temporal Logics for Multi-Agent Systems
Résumé
This is an overview of an invited talk delivered during the 42nd International Conference on Mathematical Foundations of Computer Science (MFCS 2017).
Origine | Fichiers éditeurs autorisés sur une archive ouverte |
---|
Loading...