OPUS RESEARCH PROJECT AWARDED FUNDING

We are pleased to announce that prof. Bożena Woźna-Szcześniak has received PLN 1,327,800 in funding for the research project “New Methods for Automatic Verification of Open Real-Time Multi-Agent Systems”, financed under the OPUS 29 programme of the National Science Centre.

The project aims to develop new formal models, specification languages, and automatic verification techniques for open real-time multi-agent systems used, among others, in logistics, intelligent transportation, critical infrastructure, and robot swarms. The research includes the creation of new logical languages and algorithms for verifying system properties, taking into account time constraints, variable numbers of agents, and complex interactions between them.

The project combines logics of time, knowledge, norms, and commitments with advanced symbolic techniques (SAT, SMT, decision diagrams) used in model checking, which provides mathematical guarantees of system correctness. As a result, an open verification tool will be developed and tested on realistic scenarios, such as robot swarm models.

The research outcomes will include new algorithms, theoretical results, and a tool enabling the analysis of systems previously considered too complex for formal verification. The project will also support the education of young researchers, including the completion of a doctoral dissertation.