Folgen
Maximilian Prokop
Maximilian Prokop
Bestätigte E-Mail-Adresse bei in.tum.de
Titel
Zitiert von
Zitiert von
Jahr
Guessing winning policies in LTL synthesis by semantic learning
J Křetínský, T Meggendorfer, M Prokop, S Rieder
International Conference on Computer Aided Verification, 390-414, 2023
72023
SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning
J Kretinsky, T Meggendorfer, M Prokop, A Zarkhah
arXiv preprint arXiv:2501.17496, 2025
2025
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–2