Pinned Repositories
AeronauticalEngineering
ComparativeCaseStudies
Comparative Case Studies of Reactive Synthesis and Supervisory Control
EdXVideoViewer
Android app that lists the users courses and allows access to them via the youtube app.
espresso-logic
A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.
lindomesdk
krooken's Repositories
krooken/EdXVideoViewer
Android app that lists the users courses and allows access to them via the youtube app.
krooken/AeronauticalEngineering
krooken/ComparativeCaseStudies
Comparative Case Studies of Reactive Synthesis and Supervisory Control
krooken/espresso-logic
A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.
krooken/lindomesdk
krooken/AdventOfCode2020
krooken/Apartment
krooken/BodePlot
krooken/cudd
CUDD: CU Decision Diagram package - unofficial git mirror of http://vlsi.colorado.edu/~fabio/
krooken/dd
Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
krooken/DECIDE
Launch Interceptor Program (exercise in software engineering)
krooken/EqualityTheory
Testing different ways to add a theory (in this case equality theory) to a CDCL SAT-solver.
krooken/grappa
Fork of the AT&T Grappa project, a port of a subset of GraphViz to Java
krooken/jKalc
krooken/krooken.github.io
krooken/marie_curie
krooken/markov_text_generator
krooken/polytope
Geometric operations on polytopes of any dimension
krooken/Raytracer
krooken/RCV-Synthesis
Formal Synthesis of Safe Stop Tactical Planners for an Automated Vehicle
krooken/research-blog
This repo holds the code that host the zenseact research blog.
krooken/sensorstreamer
Python sensor data receiver from the Sensor fusion app
krooken/spark_linalg_eval
krooken/TagImages
Scans through a catalog of images and presents a GUI to tag all images.
krooken/ThesisTemplate
Thesis template(s) for Chalmers E2 PhD students
krooken/tool_lists
Links to tools by subject
krooken/tulip-control
Temporal Logic Planning toolbox
krooken/wasp-des-rcv
Complimentary PROMELA and Stateflow models for the article named 'Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle' by Jonas Krook, Lars Svensson, Yuchao Li, Lei Feng, and Martin Fabian.