summaryrefslogtreecommitdiff
path: root/Assignment1/conversion.tex
AgeCommit message (Expand)AuthorFilesLines
2018-04-23Mention that the translation Muller -> LTL lies outside the scope of this book.Erin van der Veen1-2/+3
2018-04-22Hackfixes to get changebar rightCamil Staps1-7/+9
2018-04-22OCD (if this causes conflict, feel free to rollback)Camil Staps1-18/+25
2018-04-22Add very tiny explenation of cascade product and Krohn-Rhodes TheoremErin van der Veen1-0/+23
2018-04-19Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-CheckingErin van der Veen1-1/+5
2018-04-19Muller to LTLErin van der Veen1-0/+4
2018-04-19Example for satisfaction by words; still needed: satisfaction by TS (and equi...Camil Staps1-1/+5
2018-04-19LalalaCamil Staps1-11/+10
2018-04-19Merge branch 'camil'Camil Staps1-14/+15
2018-04-19Remove <<<<<<HEADErin van der Veen1-1/+0
2018-04-19Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-CheckingErin van der Veen1-26/+63
2018-04-19Safra's determinization algorithmErin van der Veen1-21/+35
2018-04-18Example: protocol dependenciesCamil Staps1-1/+25
2018-04-18Check syntactic elimination rulesCamil Staps1-22/+33
2018-04-18Minor enhancementsCamil Staps1-2/+3
2018-04-18Copy-edited first part of semantic algorithmCamil Staps1-14/+15
2018-04-18Finish(?) SSH exampleCamil Staps1-2/+2
2018-04-18Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-CheckingErin van der Veen1-9/+102
2018-04-18Semi-Deterministic Büchi AutomataErin van der Veen1-0/+24
2018-04-18finish conversion exampleCamil Staps1-9/+102
2018-04-18Start with editing of the syntactic algorithm for PLTL -> LTLCamil Staps1-53/+117
2018-04-17Muller AutomataErin van der Veen1-0/+16
2018-04-17PLTL to Büchi automatonErin van der Veen1-0/+56
2018-04-16Start of semantic algorithmErin van der Veen1-2/+9
2018-04-16Finish Syntactic AlgorithmErin van der Veen1-2/+6
2018-04-15Elimination RulesErin van der Veen1-11/+50
2018-04-15First two separation rulesErin van der Veen1-1/+24
2018-04-15Fix rewrite rulesErin van der Veen1-6/+6
2018-04-15Step 1 of syntactic algorithmErin van der Veen1-2/+29
2018-04-13Introduction PLTL to LTLErin van der Veen1-0/+12
2018-04-12Organise in different filesCamil Staps1-0/+4
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-13 15:58:05 +0000