Weryfikacja systemów wieloagentowych i autonomicznych w artykułach Zespołu Teorii Systemów Rozproszonych i Obliczeniowych na konferencji AAMAS 2024
Naukowcy z Zespołu Teorii Systemów Rozproszonych i Obliczeniowych IPI PAN opublikowali 4 artykuły na konferencji AAMAS 2024 w Auckland (Nowa Zelandia). AAMAS to największa i najbardziej prestiżowa konferencja w tematyce systemów wieloagentowych i autonomicznych, z rangą A* wg rankingu CORE i materiałami punktowanymi za 200 pkt. Artykuły, autorstwa Wojciecha Jamrogi, Mateusza Kamińskiego, Damiana Kurpiewskiego i Wojciecha Penczka, przedstawiają nowe wyniki związane z weryfikacją takich systemów. Dwa z artykułów koncentrują się na własnościach teoretycznych (złożoność obliczeniowa weryfikacji i siła wyrazu proponowanych języków specyfikacji). Pozostałe dwie prace prezentują najnowsze osiągnięcia w implementacji algorytmów weryfikacji w narzędziach STV i SMT4SMTL, rozwijanych przez Zespół. STV+KH zdobył miano Best Demo Award.
Weryfikacja systemów wieloagentowych i autonomicznych w artykułach Zespołu Teorii Systemów Rozproszonych i Obliczeniowych na konferencji AAMAS 2024
Naukowcy z Zespołu Teorii Systemów Rozproszonych i Obliczeniowych IPI PAN opublikowali 4 artykuły na konferencji AAMAS 2024 w Auckland (Nowa Zelandia). AAMAS to największa i najbardziej prestiżowa konferencja w tematyce systemów wieloagentowych i autonomicznych, z rangą A* wg rankingu CORE i materiałami punktowanymi za 200 pkt. Artykuły, autorstwa Wojciecha Jamrogi, Mateusza Kamińskiego, Damiana Kurpiewskiego i Wojciecha Penczka, przedstawiają nowe wyniki związane z weryfikacją takich systemów. Dwa z artykułów koncentrują się na własnościach teoretycznych (złożoność obliczeniowa weryfikacji i siła wyrazu proponowanych języków specyfikacji). Pozostałe dwie prace prezentują najnowsze osiągnięcia w implementacji algorytmów weryfikacji w narzędziach STV i SMT4SMTL, rozwijanych przez Zespół.
Co więcej, jedna z naszych prac narzędziowych zdobyła Best Demo Award, co stanowi ogromny sukces w czasach, gdy większość badań w AI i systemach agentowych skupia się na zagadnieniach uczenia maszynowego.