<-

2026

• Newman, Jessica L. and Gerding, Enrico and Marchioni, Enrico and Rastegari, Baharak - Alternating-Time Temporal Logic with Dependent Strategies - Proceedings of the 25th International Conference on Autonomous Agents and Multiagent Systems (link)
• (arXiv preprint) Newman, Jessica and Plummer, Benjamin - Positional Properties in Temporal Logic (link)

2025

• Newman, Jessica L. and Gerding, Enrico and Marchioni, Enrico and Rastegari, Baharak - Resource Task Games - Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems (link)