krooken

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.

AeronauticalEngineering

espresso-logic

A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.

lindomesdk

AdventOfCode2020

Apartment

BodePlot

cudd

CUDD: CU Decision Diagram package - unofficial git mirror of http://vlsi.colorado.edu/~fabio/

dd

Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy

DECIDE

Launch Interceptor Program (exercise in software engineering)

EqualityTheory

Testing different ways to add a theory (in this case equality theory) to a CDCL SAT-solver.

grappa

Fork of the AT&T Grappa project, a port of a subset of GraphViz to Java

jKalc

krooken.github.io

marie_curie

markov_text_generator

polytope

Geometric operations on polytopes of any dimension

Raytracer

RCV-Synthesis

Formal Synthesis of Safe Stop Tactical Planners for an Automated Vehicle

research-blog

This repo holds the code that host the zenseact research blog.

sensorstreamer

Python sensor data receiver from the Sensor fusion app

spark_linalg_eval

TagImages

Scans through a catalog of images and presents a GUI to tag all images.

ThesisTemplate

Thesis template(s) for Chalmers E2 PhD students

tool_lists

Links to tools by subject

tulip-control

Temporal Logic Planning toolbox

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.