Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Weighted automata for quantitative properties

2014/15/D/ST6/04543

Keywords:

weighted automata hybrid automata quantitative model checking heuristic algorithms decidability

Descriptors:

  • ST6_4: Formal methods, foundations of computer science, including theoretical computer science, quantum algorithms

Panel:

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

Host institution :

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

woj. dolnośląskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr Jan Otop 

Number of co-investigators in the project: 4

Call: SONATA 8 - announced on 2014-09-15

Amount awarded: 417 760 PLN

Project start date (Y-m-d): 2015-07-22

Project end date (Y-m-d): 2018-10-21

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

Project status: Project settled

Equipment purchased [PL]

  1. Komputer typu notebook dla doktoranta (6 500 PLN)
  2. Zestaw komputerowy (notebook, monitor, stacja dokująca, klawiatura, mysz) (8 000 PLN)

Information in the final report

  • Publication in academic press/journals (4)
  • Articles in post-conference publications (8)
  1. Edit Distance for Pushdown Automata
    Authors:
    Krishnendu Chatterjee, Thomas Henzinger, Rasmus Ibsen-Jensen, Jan Otop
    Academic press:
    Logical Methods in Computer Science (rok: 2017, tom: 13, strony: 3:1-3:23), Wydawca: Logical Methods in Computer Science e.V.
    Status:
    Published
    DOI:
    10.23638/LMCS-13(3:23)2017 - link to the publication
  2. Quantitative Automata under Probabilistic Semantics
    Authors:
    Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
    Academic press:
    Logical Methods in Computer Science (rok: 2019, tom: 15, strony: 3:1-3:45), Wydawca: Logical Methods in Computer Science e.V.
    Status:
    Published
    DOI:
    10.23638/LMCS-15(3:16)2019 - link to the publication
  3. Model measuring for discrete and hybrid systems
    Authors:
    Thomas A Henzinger, Jan Otop
    Academic press:
    Nonlinear Analysis: Hybrid Systems (rok: 2017, tom: 23, strony: 166-190), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.nahs.2016.09.001 - link to the publication
  4. Nested Weighted Automata
    Authors:
    Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
    Academic press:
    ACM Transactions on Computational Logic (rok: 2017, tom: 18, strony: 31:1-31:44), Wydawca: ACM
    Status:
    Published
    DOI:
    10.1145/3152769 - link to the publication
  1. Lipschitz Robustness of Timed I/O Systems
    Authors:
    Thomas A. Henzinger, Jan Otop, Roopsha Samanta
    Conference:
    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:
    Published
    DOI:
    link to the publication
  2. Computing Average Response Time
    Authors:
    Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
    Conference:
    Edward A. Lee Festschrift Symposium (rok: 2018, ), Wydawca: Springer
    Data:
    konferencja 13.10.2017
    Status:
    Published
  3. Nested Weighted Limit-Average Automata of Bounded Width
    Authors:
    Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
    Conference:
    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:
    Published
    DOI:
    link to the publication
  4. Non-deterministic Weighted Automata on Random Words
    Authors:
    Jakub Michaliszyn, Jan Otop
    Conference:
    International Conference on Concurrency Theory (CONCUR 2017) (rok: 2018, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 4-7.09.2018
    Status:
    Published
    DOI:
    link to the publication
  5. Quantitative Monitor Automata
    Authors:
    Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
    Conference:
    Static Analysis (SAS 2016) (rok: 2016, ), Wydawca: Springer Berlin Heidelberg
    Data:
    konferencja 8-10.09.2016
    Status:
    Published
    DOI:
    link to the publication
  6. Average Stack Cost of Büchi Pushdown Automata
    Authors:
    Jakub Michaliszyn, Jan Otop
    Conference:
    IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017) (rok: 2017, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 11–15.12.2017
    Status:
    Published
    DOI:
    link to the publication
  7. Bidirectional Nested Weighted Automata
    Authors:
    Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
    Conference:
    International Conference on Concurrency Theory (CONCUR 2017) (rok: 2017, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 5-8.09.2017
    Status:
    Published
    DOI:
    link to the publication
  8. Quantitative Automata under Probabilistic Semantics
    Authors:
    Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
    Conference:
    ACM/IEEE Symposium on Logic in Computer Science (LICS 2016) (rok: 2016, ), Wydawca: ACM
    Data:
    konferencja 5-8.07.2016
    Status:
    Published
    DOI:
    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