Projekty finansowane przez NCN
Modele obliczeniowe w formalnej weryfikacji
2022/46/E/ST6/00230
Słowa kluczowe:
formalna weryfikacja złożoność obliczeniowa sieci Petriego automaty ważone
Deskryptory:
- ST6_004: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna, algorytmy kwantowe
Panel:
ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca:
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
woj. mazowieckie
Kierownik projektu (z jednostki realizującej):
dr Filip Aleksander Mazowiecki
Liczba wykonawców projektu: 9
Konkurs: SONATA BIS 12 - ogłoszony 2022-05-15
Przyznana kwota: 2 009 400 PLN
Rozpoczęcie projektu: 2023-10-02
Zakończenie projektu: 2028-10-01
Planowany czas trwania projektu: 60 miesięcy (z wniosku)
Status projektu: Projekt w realizacji
Opis Projektu
Pobierz opis projektu w formacie .pdf
Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.
Dane z raportu końcowego/rocznego
- Teksty w publikacjach pokonferencyjnych (3)
- Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted AutomataAutorzy:Ismael Jecker, Filip Mazowiecki, David PurserKonferencja: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:OpublikowanaDoi:10.1145/3661814.3662073 - link do publikacji
- The Tractability Border of Reachability in Simple Vector Addition Systems with StatesAutorzy:Dmitry Chistikov, Wojciech Czerwiński, Filip Mazowiecki, Łukasz Orlikowski, Henry Sinclair-Banks, Karol WęgrzyckiKonferencja: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:OpublikowanaDoi:10.1109/FOCS61266.2024.00086 - link do publikacji
- Soundness of reset workflow netsAutorzy:Michael Blondin, Alain Finkel, Piotr Hofman, Filip Mazowiecki, Philip OfftermattKonferencja: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:OpublikowanaDoi:10.1145/3661814.3662086 - link do publikacji