Articles with public access mandates - Frederik SchmittLearn more
Available somewhere: 3
Teaching temporal logics to neural networks
C Hahn, F Schmitt, JU Kreber, MN Rabe, B Finkbeiner
arXiv preprint arXiv:2003.04218, 2020
Mandates: European Commission
Neural circuit synthesis from specification patterns
F Schmitt, C Hahn, MN Rabe, B Finkbeiner
Advances in Neural Information Processing Systems 34, 15408-15420, 2021
Mandates: European Commission
Advanced Factoring Strategies for Decoupled Search using Linear Programming
F Schmitt, D Gnad, J Hoffmann
Proceedings of the International Conference on Automated Planning and …, 2019
Mandates: German Research Foundation
Publication and funding information is determined automatically by a computer program