Polski zespół z sukcesem na AAMAS 2026!

Z przyjemnością informujemy, że artykuł pt. „SMT4STECTL: Satisfiability-Driven Synthesis from Specifications in Strategic Timed Existential CTL” autorstwa Artura Niewiadomskiego, Mateusza Przychodzkiego, Magdaleny Kacprzak, Wojciecha Penczka oraz Andrzeja Zbrzeznego został przyjęty na prestiżową konferencję International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2026).

Konferencja AAMAS należy do najważniejszych i najbardziej renomowanych wydarzeń naukowych na świecie w obszarze sztucznej inteligencji, systemów wieloagentowych oraz metod formalnych. Publikacje przyjęte na tę konferencję otrzymują najwyższą możliwą punktację Ministerstwa Nauki i Szkolnictwa Wyższego — 200 punktów.

Praca prezentuje narzędzie SMT4STECTL służące do automatycznej syntezy systemów wieloagentowych czasu rzeczywistego na podstawie specyfikacji logicznych z wykorzystaniem metod SMT oraz bounded model checking. Rozwiązanie umożliwia m.in. automatyczne wyznaczanie parametrów czasowych i strategii działania agentów w złożonych środowiskach autonomicznych.

Gratulujemy Autorom kolejnego znaczącego sukcesu naukowego i życzymy dalszych osiągnięć badawczych oraz kolejnych publikacji na najwyższym światowym poziomie.