Copertina

Synthesis of Safety Specifications for Probabilistic Systems

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Ohlmann, Gaspard, Court, Edwin Hamel-De le, Belardinelli, Francesco
Natura: Preprint
Pubblicazione: 2025
Soggetti:
Logic in Computer Science
Artificial Intelligence
Machine Learning
Systems and Control
68Q60, 60J20, 68T05
F.3.1; F.4.1; I.2.6
Accesso online:
Acceder al recurso
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
Lascia un commento!
Entra

Documenti analoghi