Correct-by-construction Interactive Theorem Proving Maximal End Components Probabilistic Model Checking Software Verification Strongly Connected Components

binary decision diagrams parity games reactive synthesis

Correct-by-construction Interactive Theorem Proving Markov decision process Probabilistic Model Checking

Carla simulator Driving simulation JOAN simulator Unreal engine assets

Acceptance Behavior change support systems Chatbot Conversational agent Digital health eHealth Physical activity Relationship Smoking cessation Virtual coach

Auction competition Scheduling Truck appointment systems Vickrey-Clarke-Groves

inference Probabilistic modelling railroad railway robust robust algorithm robust train unit shunting rolling stock scheduling problem shunting train unit shunting train unit shunting problem transport Transportation tusp

Bayesian modelling Deep Reinforcement Learning (DRL) Ensemble model Q-learning Uncertainty Quantification

Air traffic management (ATM) BlueSky Conflict detection and resolution dissertation Flight safety Simulator

algebraic turbulence model boundary layer method CS-model Eddy viscosity laminar flow non-ideal compressible fluid dynamics (NICFD) Organic Rankine Cycle (ORC) Turbulent Flow Turbulent Prandtl-number

cycle detection multi-party computation privacy-preserving secure computation

All software

Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"

Artifact of Knor: reactive synthesis using Oink

Artifact to the paper "A Fast and Verified Probabilistic Model Checking Pipeline for Minimal Reachability Probabilities"

Assets for JOAN: a framework for human-automated vehicle interaction experiments in a virtual reality driving simulator

Attitudes Toward a Virtual Smoking Cessation Coach: Analysis Code

auction-tas

Axies: Identifying and Evaluating Context Specific Values - code

bachelor-thesis

Bayesian Ensembles for Exploration in Deep Reinforcement Learning; Code underlying the dissertation "Bayesian Model-Free Deep Reinforcement Learning"

Bluesky software: underlying the publication “Improving Algorithm Conflict Resolution Manoeuvres with Reinforcement Learning”

Boundary-Layer-Program underlying the master thesis: Simulation of Two-Dimensional Steady State Boundary Layers Applied to Nonideal Gas Flows

bounded-private-cycle-detection