Skip to main navigation Skip to search Skip to main content

Avoiding distractions in parity games

Activity: Talk or presentationOral presentation

Period27 Oct 2024
Event title12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024
Event typeConference
Conference number12
LocationCrete, GreeceShow on map
Degree of RecognitionInternational