LiVe Lab

Machine Learning for LTL Synthesis

Team

Sabine Rieder
Maximilian Prokop

Tools

Publications

2023
 		Guessing Winning Policies in LTL Synthesis by Semantic Learning  
Jan Křetínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder
CAV 2023

Faculty of Informatics at the Masaryk University