summaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2018-07-05Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-CheckingErin van der Veen5-223/+97
2018-07-05z3 interface for CleanErin van der Veen2-0/+66
2018-07-05Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-CheckingCamil Staps2-1/+6
2018-07-05Add DTMC parserCamil Staps5-223/+97
2018-07-05Remove duplicate PCTLErin van der Veen1-11/+2
2018-07-05Explain difference probabilistic and cost-bounded propertiesErin van der Veen2-1/+15
2018-07-04Bootstrap reportCamil Staps5-0/+2852
2018-07-04Add properties and simple program with stormpy bindingsCamil Staps3-0/+67
2018-07-04Improve dockerfileCamil Staps2-4/+4
2018-07-04Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-CheckingCamil Staps2-2/+103
2018-07-04Add docker image with storm+stormpyCamil Staps2-0/+33
2018-05-14Finish SummaryErin van der Veen1-3/+24
2018-05-08Start pctl summaryErin van der Veen1-0/+79
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-22Resolve LaTeX warningsCamil Staps4-6/+8
2018-04-22Examples for equivalenceCamil Staps2-8/+30
2018-04-22TypesettingCamil Staps3-3/+5
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-19ContributionCamil Staps1-0/+3
2018-04-19Finish semantics exampleCamil Staps2-3/+19
2018-04-19Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-CheckingCamil Staps2-0/+34
2018-04-19Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-CheckingErin van der Veen7-12/+57
2018-04-19Muller to LTLErin van der Veen2-0/+34
2018-04-19Fix vertical placing of XopCamil Staps3-11/+11
2018-04-19Minor textual enhancements; remove outdated todosCamil Staps3-9/+2
2018-04-19Example for satisfaction by words; still needed: satisfaction by TS (and equi...Camil Staps4-3/+55
2018-04-19LalalaCamil Staps6-23/+35
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 Veen7-73/+134
2018-04-19Safra's determinization algorithmErin van der Veen3-22/+45
2018-04-18Example: protocol dependenciesCamil Staps4-6/+48
2018-04-18Bars everywhereCamil Staps2-4/+8
2018-04-18(for me) more intuitive intuitive semanticsCamil Staps1-12/+15
2018-04-18Check syntactic elimination rulesCamil Staps1-22/+33
2018-04-18Minor enhancementsCamil Staps5-25/+27
2018-04-18Copy-edited first part of semantic algorithmCamil Staps1-14/+15
2018-04-18Finish(?) SSH exampleCamil Staps2-10/+8
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 Staps3-54/+120
2018-04-17Correct upper bound for bad prefixesCamil Staps2-23/+31
2018-04-17Upper bound for minimal bad preficesCamil Staps3-5/+97
2018-04-17Muller AutomataErin van der Veen2-0/+27
2018-04-17PLTL to Büchi automatonErin van der Veen1-0/+56
2018-04-17Start with minimal bad prefixesCamil Staps8-7/+32
2018-04-17Semantics over paths and statesCamil Staps1-16/+2
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-13 19:26:43 +0000