COntext-free model checking for Recursive PrObabilistic pRogrAms

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
CORPORA
 
Project Title (de) Projekttitel (de)
COntext-free model checking for Recursive PrObabilistic pRogrAms
 
Project Title (en) Projekttitel (en)
COntext-free model checking for Recursive PrObabilistic pRogrAms
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
European Commission
Grant number Förderkennnummer
101107303
 

Publications

Results 1-5 of 5 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Chiari-2025-Information and Computation-vor.pdf.jpgChiari, Michele ; Mandrioli, Dino ; Pradella, Matteo Cyclic operator precedence grammars for parallel parsingArticle Artikel Nov-2025
2Melani, Beatrice ; Bartocci, Ezio ; Chiari, Michele A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal OperatorsArticle Artikel 26-Sep-2025
3Pontiggia, Francesco ; Bartocci, Ezio ; Chiari, Michele POPACheck: A Model Checker for Probabilistic Pushdown AutomataInproceedings Konferenzbeitrag 22-Jul-2025
4Pontiggia, Francesco ; Macák, Filip ; Andriushchenko, Roman ; Michele Chiari ; Češka, Milan Decentralized Planning Using Probabilistic HyperpropertiesInproceedings Konferenzbeitrag 5-Jun-2025
5Chiari, Michele ; Giornetta, Michele ; Mandrioli, Dino ; Pradella, Matteo Boosting Parallel Parsing through Cyclic Operator Precedence GrammarsInproceedings Konferenzbeitrag Jun-2025