Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

COntext-free model checking for Recursive PrObabilistic pRogrAms

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

Data Management Plan (odnośnik otworzy się w nowym oknie)

The Data Management Plan describes the data management life cyclefor all data sets that will be collected processed or generated by the action It is adocument describing what data will be collected processed or generated andfollowing what methodology and standards whether and how this data will beshared andor made open and how it will be curated and preserved

Communication, Dissemination & Exploitation Plan (odnośnik otworzy się w nowym oknie)

The plan describes the planned measures to maximize the impact ofthe project, including the dissemination and exploitation measures that are planned,and the target group(s) addressed. Regarding communication measures and publicengagement strategy, the aim is to inform and reach out to society and show theactivities performed, and the use and the benefits the project will have for citizens.

Publikacje

A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators (odnośnik otworzy się w nowym oknie)

Autorzy: Beatrice Melani, Ezio Bartocci, Michele Chiari
Opublikowane w: ACM Transactions on Embedded Computing Systems, 2025, ISSN 0000-0000
Wydawca: ACM
DOI: 10.48550/ARXIV.2507.21598

Information Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Michele Chiari; Bin Xiang; Sergio Canzoneri; Galia Novakova Nedeltcheva; Elisabetta Di Nitto; Lorenzo Blasi; Debora Benedetto; Laurentiu Niculut; Igor Škof
Opublikowane w: Information Systems, 2024, ISSN 0306-4379
Wydawca: Elsevier
DOI: 10.1016/J.IS.2024.102422

Cyclic Operator Precedence Grammars for Improved Parallel Parsing (odnośnik otworzy się w nowym oknie)

Autorzy: Michele Chiari, Dino Mandrioli, Matteo Pradella
Opublikowane w: Lecture Notes in Computer Science, Developments in Language Theory, 2024
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-66159-4_8

Boosting Parallel Parsing through Cyclic Operator Precedence Grammars (odnośnik otworzy się w nowym oknie)

Autorzy: Michele Chiari, Michele Giornetta, Dino Mandrioli, Matteo Pradella
Opublikowane w: Proceedings of the 18th ACM SIGPLAN International Conference on Software Language Engineering, 2025
Wydawca: ACM
DOI: 10.1145/3732771.3742712

Decentralized Planning Using Probabilistic Hyperproperties (odnośnik otworzy się w nowym oknie)

Autorzy: Francesco Pontiggia, Filip Macák, Roman Andriushchenko, Michele Chiari, Milan Ceska
Opublikowane w: Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025, Detroit, MI, USA, May 19-23, 2025, 2025, ISBN 9798400714269
Wydawca: International Foundation for Autonomous Agents and Multiagent Systems
DOI: 10.48550/ARXIV.2502.13621

SMT-Based Symbolic Model-Checking for Operator Precedence Languages (odnośnik otworzy się w nowym oknie)

Autorzy: Michele Chiari; Luca Geatti; Nicola Gigante; Matteo Pradella
Opublikowane w: Lecture Notes in Computer Science, Numer 14681, 2024, ISBN 9783031656262
Wydawca: Springer
DOI: 10.48550/ARXIV.2405.11327

POPACheck: A Model Checker for Probabilistic Pushdown Automata (odnośnik otworzy się w nowym oknie)

Autorzy: Francesco Pontiggia, Ezio Bartocci, Michele Chiari
Opublikowane w: Lecture Notes in Computer Science, Computer Aided Verification, 2025, ISBN 978-3-031-98679-6
Wydawca: Springer Nature Switzerland
DOI: 10.48550/ARXIV.2502.03956

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Moja broszura 0 0