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

Intelligence-Oriented Verification&Controller Synthesis

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 .

Resultado final

Publicaciones

Explainably Safe Reinforcement Learning

Autores: Sabine Rieder, Stefan Pranger, Debraj Chakraborty, Jan Křetínský, Bettina Könighofer
Publicado en: 2025
Editor: NeurIPS/ML Anthology

Hidden-Layer Monitoring for Out-of-Distribution Localization in Image Segmentation (se abrirá en una nueva ventana)

Autores: Jan Křetínský, Sabine Rieder, Gesina Schwalbe, Youssef Shoeb
Publicado en: Lecture Notes in Computer Science, Runtime Verification, 2025
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-032-05435-7_16

Keep it Simple, or Teach Them Logics: Attack-Defense Tree Perception by Laypeople (se abrirá en una nueva ventana)

Autores: Florian Dorfhuber, Marisol Barrientos, Julia Eisentraut, Jan Křetínský
Publicado en: Lecture Notes in Computer Science, Dependable Software Engineering. Theories, Tools, and Applications, 2026
Editor: Springer Nature Singapore
DOI: 10.1007/978-981-95-7826-9_4

Symbiotic Local Search for Small Decision Tree Policies in MDPs (se abrirá en una nueva ventana)

Autores: Andriushchenko Roman, Češka Milan, Chakraborty Debraj, Junges Sebastian, Kretinsky Jan, Macák Filip
Publicado en: 2025
Editor: Zenodo
DOI: 10.5281/ZENODO.15642002

Sound Value Iteration for Simple Stochastic Games (se abrirá en una nueva ventana)

Autores: Muqsit Azeem, Jan Kretinsky, Maximilian Weininger
Publicado en: Electronic Proceedings in Theoretical Computer Science, Edición 428, 2025, ISSN 2075-2180
Editor: Open Publishing Association
DOI: 10.4204/EPTCS.428.4

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