Skip to content Skip to footer

Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State Machines

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited

Persons and affiliations

Date

7 Dec 2021

Seminar

TitleDFG Research Training Group GRK 1763 "Quantitative Logics and Automata" Research Seminar
SubtitleWinter Term 2021/2022
Abbreviated titleQuantLA Research Seminar Winter Term 2021/22
Duration3 November 2021 - 25 January 2022
Website
Degree of recognitionInternational event
LocationOnline
CountryGermany

Keywords