Projects funded by the NCN
Counting models in formal verification
2022/46/E/ST6/00230
Keywords:
formal verification computational complexity Petri nets weighted automata
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
Principal investigator (from the host institution):
dr Filip Aleksander Mazowiecki
Number of co-investigators in the project: 9
Call: SONATA BIS 12 - announced on 2022-05-15
Amount awarded: 2 009 400 PLN
Project start date (Y-m-d): 2023-10-02
Project end date (Y-m-d): 2028-10-01
Project duration:: 60 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 (3)
- Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted AutomataAuthors:Ismael Jecker, Filip Mazowiecki, David PurserConference:Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (rok: 2024, tom: LICS, strony: 46:1--46:13), Wydawca: ACMData:konferencja July 8-11, 2024Status:PublishedDOI:10.1145/3661814.3662073 - link to the publication
- The Tractability Border of Reachability in Simple Vector Addition Systems with StatesAuthors:Dmitry Chistikov, Wojciech Czerwiński, Filip Mazowiecki, Łukasz Orlikowski, Henry Sinclair-Banks, Karol WęgrzyckiConference:65th IEEE Annual Symposium on Foundations of Computer Science (FOCS) (rok: 2024, tom: FOCS, strony: 1332--1354), Wydawca: IEEEData:konferencja 27-30 Października 2024Status:PublishedDOI:10.1109/FOCS61266.2024.00086 - link to the publication
- Soundness of reset workflow netsAuthors:Michael Blondin, Alain Finkel, Piotr Hofman, Filip Mazowiecki, Philip OfftermattConference:Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (rok: 2024, tom: LICS, strony: 13:1--13:14), Wydawca: ACMData:konferencja July 8-11, 2024Status:PublishedDOI:10.1145/3661814.3662086 - link to the publication