Raphaël Berthon

From MaRDI portal
(Redirected from Person:832920)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Active learning of sequential transducers with side information about the domain
(available as arXiv preprint)
2022-03-25Paper
Mixing probabilistic and non-probabilistic objectives in Markov decision processes
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
2021-01-21Paper
scientific article; zbMATH DE number 7297884 (Why is no real title available?)2021-01-19Paper
scientific article; zbMATH DE number 7297884 (Why is no real title available?)
(available as arXiv preprint)
2021-01-19Paper
Threshold constraints with guarantees for parity objectives in Markov decision processes
(available as arXiv preprint)
2020-05-27Paper


Research outcomes over time


This page was built for person: Raphaël Berthon