Tinelli invited lecturer at 2024 Marktoberdorf Summer School

Prof. Tinelli gave a series of lectures at the 2024 Marktoberdorf Summer School on modeling and analyzing reactive systems with logic-based symbolic model checkers.