Renato Acampora

Ph.D XXXVIII

Phone: +39 0432 558491

Room: L2-01-ND

Research Project

Timeline-based games: Extension to Distributed Systems and Refinement using Symbolic and SMT Techniques

This research project aims to explore the field of timeline-based planning and its game theoretical counterpart, timeline-based games, by extending the formalism to distributed systems and refining it with synthesis techniques based on symbolic model checking and the definition of a proper formal language. The main focus will be on understanding distributed automata and logics and how to adapt them to the use case of distributed systems, with particular attention to the matter of synchronization. The project aims to develop a framework capable of handling several interconnected elements and to devise symbolic techniques and SMT techniques for a reasonable implementation of the system. The final objective is to work on a formal language that can capture timeline-based planning and to achieve generalization of timeline-based planning and timeline-based games to distributed systems.

Supporto