summaryrefslogtreecommitdiff
path: root/Assignment1/library.bib
AgeCommit message (Expand)AuthorFilesLines
2018-04-19Muller to LTLErin van der Veen1-0/+30
2018-04-19LalalaCamil Staps1-0/+8
2018-04-19Safra's determinization algorithmErin van der Veen1-0/+9
2018-04-17Correct upper bound for bad prefixesCamil Staps1-11/+0
2018-04-17Upper bound for minimal bad preficesCamil Staps1-0/+20
2018-04-17Muller AutomataErin van der Veen1-0/+11
2018-04-17Start with minimal bad prefixesCamil Staps1-0/+10
2018-04-16Start of semantic algorithmErin van der Veen1-0/+17
2018-04-15First two separation rulesErin van der Veen1-0/+6
2018-04-15Add result by Sistla (1985): complexity of model checking for PLTL is the sam...Camil Staps1-0/+10
2018-04-12Add an exercise based on Markey's proof; extend the grammar because we allow ...Camil Staps1-0/+10
2018-04-12NotationsCamil Staps1-0/+9
2018-04-12Examples; definition of vDashCamil Staps1-4/+4
2018-04-12LTLP -> PLTL; add SSH example; simplify Tikz; changes to look more like Baier...Camil Staps1-0/+7
2018-04-08Introduction 1 and 2Erin van der Veen1-0/+63
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-13 16:12:00 +0000