Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Robust Formalisms for Quantitative Reasoning

2020/39/B/ST6/00521

Keywords:

logic automata quantitative reasoning

Descriptors:

  • ST6_004:

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 Jakub Dawid Michaliszyn 

Number of co-investigators in the project: 3

Call: OPUS 20 - announced on 2020-09-15

Amount awarded: 401 400 PLN

Project start date (Y-m-d): 2021-10-01

Project end date (Y-m-d): 2025-09-30

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 (3)
  1. Reachability and Bounded Emptiness Problems of Constraint Automata with Prefix, Suffix and Infix.
    Authors:
    Jakub Michaliszyn,Jan Otop, Piotr Wieczorek
    Conference:
    34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium (rok: 2023, tom: 34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium, strony: 3:1--3:16), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
    Data:
    konferencja 18-23 września 2023
    Status:
    Published
    DOI:
    10.4230/LIPIcs.CONCUR.2023.3 - link to the publication
  2. Learning Deterministic Visibly Pushdown Automata Under Accessible Stack
    Authors:
    Jakub Michaliszyn, Jan Otop
    Conference:
    47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022) (rok: 2022, tom: 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022), strony: 74:1--74:16), Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik
    Data:
    konferencja 22 sie 2022 – 26 sie 2022
    Status:
    Published
    DOI:
    10.4230/LIPIcs.MFCS.2022.74 - link to the publication
  3. Deterministic weighted automata under partial observability
    Authors:
    Jakub Michaliszyn, Jan Otop
    Conference:
    Logics in Artificial Intelligence : 18th European Conference, JELIA 2023 (rok: 2023, tom: 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), strony: 771-784), Wydawca: Springer
    Data:
    konferencja 20-22 września 2023
    Status:
    Published
    DOI:
    10.1007/978-3-031-43619-2_52 - 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