Natasha Alechina's home page

My research is on specification, verification and synthesis of multi-agent systems, in particular under resource constraints.

Some of my recent publications:

• Natasha Alechina, Stephane Demri, Brian Logan: Parameterised Resource-Bounded ATL. To appear, AAAI 2020. pdf
• Heshan Du, Natasha Alechina: Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable. AAAI 2019: 2776-2783. DOI: https://doi.org/10.1609/aaai.v33i01.33012776
• Natasha Alechina, Tomas Brazdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan, Moshe Y. Vardi: Unbounded Orchestrations of Transducers for Manufacturing. AAAI 2019: 2646-2653. DOI: https://doi.org/10.1609/aaai.v33i01.33012646
• Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan: Synthesis of Orchestrations of Transducers for Manufacturing. AAAI 2018: 6161-6168. pdf
• Natasha Alechina, Nils Bulling, Stephane Demri, Brian Logan: On the complexity of resource-bounded logics. Theor. Comput. Sci. 750: 69-100 (2018). pdf