MKlauck

Bosch ResearchRenningen

Pinned Repositories

qcomp
qcomp.org – Quantitative Model Repository and Tool Comparison
Language:HTML7 5 127
.github
0 2 00
AS2FM
Toolchain components for model checking format conversions for robotic use cases
Language:Python4 12 190
convince-project.github.io
The entry page of the CONVINCE GitHub repositories.
Language:HTML00
overview
Entry-point for CONVINCE documentation
2 12 00
smc_storm
A SMC tool building on top of STORM
Language:C++3 6 12
momba
A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
Language:PDDL19 5 93
MKlauck.github.io
Personal Webpage of Dr.-Ing. Michaela Klauck
Language:HTML0 1 00
qcomp
qcomp.org – Quantitative Model Repository and Tool Comparison
Language:HTML1 1 00
qcomp2020
Tool Submission and Benchmarking Scripts for QComp 2020 – qcomp.org – Quantitative Model Checking Tool Comparison
Language:HTML3 1 00

MKlauck's Repositories

MKlauck/qcomp2020
Tool Submission and Benchmarking Scripts for QComp 2020 – qcomp.org – Quantitative Model Checking Tool Comparison
Language:HTML3 1 00
MKlauck/qcomp
qcomp.org – Quantitative Model Repository and Tool Comparison
Language:HTML1 1 00
MKlauck/MKlauck.github.io
Personal Webpage of Dr.-Ing. Michaela Klauck
Language:HTML0 1 00