Skip to main content
Vai all'homepage della Commissione europea (si apre in una nuova finestra)
italiano it
CORDIS - Risultati della ricerca dell’UE
CORDIS

Intelligence-Oriented Verification&Controller Synthesis

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Risultati finali

Pubblicazioni

Explainably Safe Reinforcement Learning

Autori: Sabine Rieder, Stefan Pranger, Debraj Chakraborty, Jan Křetínský, Bettina Könighofer
Pubblicato in: 2025
Editore: NeurIPS/ML Anthology

Hidden-Layer Monitoring for Out-of-Distribution Localization in Image Segmentation (si apre in una nuova finestra)

Autori: Jan Křetínský, Sabine Rieder, Gesina Schwalbe, Youssef Shoeb
Pubblicato in: Lecture Notes in Computer Science, Runtime Verification, 2025
Editore: 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 (si apre in una nuova finestra)

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

Symbiotic Local Search for Small Decision Tree Policies in MDPs (si apre in una nuova finestra)

Autori: Andriushchenko Roman, Češka Milan, Chakraborty Debraj, Junges Sebastian, Kretinsky Jan, Macák Filip
Pubblicato in: 2025
Editore: Zenodo
DOI: 10.5281/ZENODO.15642002

Sound Value Iteration for Simple Stochastic Games (si apre in una nuova finestra)

Autori: Muqsit Azeem, Jan Kretinsky, Maximilian Weininger
Pubblicato in: Electronic Proceedings in Theoretical Computer Science, Numero 428, 2025, ISSN 2075-2180
Editore: Open Publishing Association
DOI: 10.4204/EPTCS.428.4

È in corso la ricerca di dati su OpenAIRE...

Si è verificato un errore durante la ricerca dei dati su OpenAIRE

Nessun risultato disponibile

Il mio fascicolo 0 0