Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

Verification and Analysis for Safety and Security of Applications in Life

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (se abrirá en una nueva ventana)

Autores: Florian Sextl, Adam Rogalewicz, Tomáš Vojnar, Florian Zuleger
Publicado en: Lecture Notes in Computer Science, Programming Languages and Systems, 2025
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-91121-7_10

Small Decision Trees for MDPs with Deductive Synthesis (se abrirá en una nueva ventana)

Autores: Roman Andriushchenko, Milan Češka, Sebastian Junges, Filip Macák
Publicado en: Lecture Notes in Computer Science, Computer Aided Verification, 2025
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-98679-6_8

RacerF: Data Race Detection with Frama-C (Competition Contribution) (se abrirá en una nueva ventana)

Autores: Tomáš Dacík, Tomáš Vojnar
Publicado en: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-90660-2_20

Regular Grammars for Sets of Graphs of Tree-Width 2 (se abrirá en una nueva ventana)

Autores: Marius Bozga, Radu Iosif, Florian Zuleger
Publicado en: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2025
Editor: IEEE
DOI: 10.48550/ARXIV.2408.01226

Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs (se abrirá en una nueva ventana)

Autores: Maris F. L. Galesloot, Roman Andriushchenko, Milan Ceska, Sebastian Junges, Nils Jansen
Publicado en: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025
Editor: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/IJCAI.2025/947

Z3-Noodler 1.3: Shepherding Decision Procedures for Strings with Model Generation (se abrirá en una nueva ventana)

Autores: David Chocholatý, Vojtěch Havlena, Lukáš Holík, Jan Hranička, Ondřej Lengál, Juraj Síč
Publicado en: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-90653-4_2

A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators (se abrirá en una nueva ventana)

Autores: Beatrice Melani, Ezio Bartocci, Michele Chiari
Publicado en: ACM Transactions on Embedded Computing Systems, Edición 24, 2025, ISSN 1539-9087
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3759917

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles

Mi folleto 0 0