Zespół Teorii Systemów Rozproszonych i Obliczeniowych

Team

Former Members

  • dr hab. Beata Konikowska

Research topics

Key areas:

  • Logical methods for specification and verification of multi-agent systems.
  • Modelling of knowledge and belief.
  • Automated verification, planning, and model checking of concurrent systems.

Publications

  • 2020

Software

Seminars

Date Speaker Title