Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Frontiers of automatic analysis of concurrent systems

2021/41/B/ST6/00535

Keywords:

formal verification concurrent systems Petri nets vector addition systems with states reachability problem coverability problem separability

Descriptors:

  • ST6_004:

Panel:

ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution :

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

prof. Sławomir Grzegorz Lasota 

Number of co-investigators in the project: 5

Call: OPUS 21 - announced on 2021-03-15

Amount awarded: 916 800 PLN

Project start date (Y-m-d): 2022-01-26

Project end date (Y-m-d): 2026-01-25

Project duration:: 48 months (the same as in the proposal)

Project status: Pending project

Project description

Download the project description in a pdf file

Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.

Information in the final report

  • Articles in post-conference publications (5)
  1. New Lower Bounds for Reachability in Vector Addition Systems
    Authors:
    Wojciech Czerwiński, Ismaël Jecker, Sławomir Lasota, Jérôme Leroux, Łukasz Orlikowski
    Conference:
    Proc. FSTTCS 2023 (rok: 2023, tom: FSTTCS 2023, strony: 35:1-35:22), Wydawca: Schloss Dagstuhl LIPICS
    Data:
    konferencja 18-20.12.2023
    Status:
    Published
    DOI:
    10.4230/LIPICS.FSTTCS.2023.35 - link to the publication
  2. Countdown μ-calculus
    Authors:
    Jędrzej Kołodziejski, Bartek Klin
    Conference:
    Proc. MFCS 2022 (rok: 2022, tom: MFCS 2022, strony: 64:1--64:14), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
    Data:
    konferencja 22-26.08.2022
    Status:
    Published
    DOI:
    10.4230/LIPIcs.MFCS.2022.64 - link to the publication
  3. Bi-Reachability in Petri Nets with Data
    Authors:
    Łukasz Kamiński, Sławomir Lasota
    Conference:
    Proc. CONCUR 2024 (rok: 2024, tom: CONCUR 2024, strony: 31:1-31:20), Wydawca: LIPICS - Schloss Dagstuh
    Data:
    konferencja 9-13.09.2024
    Status:
    Published
    DOI:
    10.4230/LIPIcs.CONCUR.2024.31 - link to the publication
  4. Weak Bisimulation Finiteness of Pushdown Systems With Deterministic ε-Transitions Is 2-ExpTime-Complete
    Authors:
    Stefan Goeller, Paweł Parys
    Conference:
    Proc. SODA 2023 (rok: 2023, tom: SODA 2023, strony: 2777 - 2815), Wydawca: SIAM
    Data:
    konferencja 22-25.01.2023
    Status:
    Published
    DOI:
    10.1137/1.9781611977554.ch105 - link to the publication
  5. Equivariant ideals of polynomials
    Authors:
    Arka Ghosh, Sławomir Lasota
    Conference:
    Proc. LICS 2024 (rok: 2024, tom: LICS 2024, strony: article no 38, pages 1-14), Wydawca: ACM
    Data:
    konferencja 8-11 lipca 2024
    Status:
    Published
    DOI:
    10.1145/3661814.3662074 - link to the publication

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy