Projekty finansowane przez NCN


Dane kierownika projektu i jednostki wnioskującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Automaty z wagami dla własności kwantytatywnych

2014/15/D/ST6/04543

Słowa kluczowe:

automaty z wagami automaty hybrydowe kwantytatywna weryfikacja modeli algorytmy heurystyczne,rozstrzygalność

Deskryptory:

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna

Panel:

ST6 - Informatyka i technologie informacyjne

Jednostka wnioskująca:

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

woj. dolnośląskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki wnioskującej):

dr Jan Otop 

Kraj pochodzenia: Polska

Liczba wykonawców projektu: 4

Konkurs: SONATA 8 - ogłoszony 2014-09-15

Przyznana kwota: 417 760 PLN

Rozpoczęcie projektu: 2015-07-22

Czas trwania projektu: 36 miesięcy

Status projektu: Projekt w realizacji

Dane z raportu końcowego

  • Publikacje w czasopismach (2)
  • Teksty w publikacjach pokonferencyjnych (4)
  1. Model measuring for discrete and hybrid systems IF: 3,192
    Autorzy:
    Thomas A Henzinger, Jan Otop
    Czasopismo:
    Nonlinear Analysis: Hybrid Systems (rok: 2017, tom: 23, strony: 166-190), Wydawca: Elsevier
    Status:
    Opublikowane
    Doi:
    10.1016/j.nahs.2016.09.001 - link do publikacji
  2. Edit Distance for Pushdown Automata
    Autorzy:
    Krishnendu Chatterjee, Thomas Henzinger, Rasmus Ibsen-Jensen, Jan Otop
    Status:
    Przyjęte
  1. Lipschitz Robustness of Timed I/O Systems
    Autorzy:
    Thomas A. Henzinger, Jan Otop, Roopsha Samanta
    Książka:
    17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2016) (rok: 2016, ), Wydawca: Springer Berlin Heidelberg
    Data:
    konferencja 17-19.01.2016
    Status:
    Opublikowane
  2. Quantitative Monitor Automata
    Autorzy:
    Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
    Książka:
    Static Analysis (SAS 2016) (rok: 2016, ), Wydawca: Springer Berlin Heidelberg
    Data:
    konferencja 8-10.09.2016
    Status:
    Opublikowane
  3. Quantitative Automata under Probabilistic Semantics
    Autorzy:
    Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
    Książka:
    ACM/IEEE Symposium on Logic in Computer Science (LICS 2016) (rok: 2016, ), Wydawca: ACM
    Data:
    konferencja 5-8.07.2016
    Status:
    Opublikowane
  4. Nested Weighted Limit-Average Automata of Bounded Width
    Autorzy:
    Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
    Książka:
    Symposium on Mathematical Foundations of Computer Science (MFCS 2016) (rok: 2016, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 22-26.08.2016
    Status:
    Opublikowane
Polityka cookies

Partnerzy