argon laser laser-sustained plasma laser-thermal propulsion ltp Plasma python

Correct-by-construction Floating-point IEEE 754 Interactive Theorem Proving Interval Iteration LLVM Markov decision process Probabilistic Model Checking Software Verification

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

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

Daily Assistant Human-AI Collaboration large language models LLM agents User Trust

Dependent Types elaboration elaborators extensible datatype open datatype type-checking

graph generator model Simulation supply chain

computer vision Most Replayed Data Video streaming Video understanding

Building with Nature Ecotope mapping Estuarine ecosystems Hydrodynamic model

All software

Argon Laser-Plasma Thruster - Design and Test of a Laboratory Model - Processing and Analysis Code

Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"

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"

bachelor-thesis

CHI2025_Plan-then-Execute_LLMAgent

Code underlying the publication: ExEl: Building an Elaborator Using Extensible Constraints

complex_stylized_supply_chain_model_generator

Data and code underlying the paper: "Can we predict the Most Replayed data of video streaming platforms?"

djehuty

EMMA