Proposed Planning Framework to averse risk consist of planGeneration and planEvaluation

Evaluation and implementation for the paper "Declarative Stage Management in Digital Twins"

Pedagogical first-order prover in Python

Repository containing other repositories related to the greenhouse digital twin project

Demo frontend in Flask

Java program that runs SMOL program, extract data from a knowledge graph generated by SMOL and interacts with other layers to create a greenhouse digital twin

An easy to build, affordable, customizable, open source instrument for oceanographic measurements - with global Iridium coverage

Main repository for the GreenHouse DT project

Main repository for the GreenhouseDT project

An interpreter for the Semantic Micro Object Language (SMOL), which intergrates semantic technologies directly on language level.

Coq mechanization of "Denotational Semantics for Symbolic Execution" for ICTAC23 submission

SQUARE Symsim is a test-bed for implementing reinforcement learning algorithms, formalizing their correctness properties, and testing them. It is implemented in Scala 3, in purely functional style,…

LaTeX preprocessor

Open source framework for ocean trajectory modelling

non-functional behavior (trees)

Repository for BPI Games Idea

Links and utilities for MIMIR dataset

REMARO Summer School Delft 2022 - Underwater robotics hackathon

Try to model a smart home, modelled with metacontrol, with Maude

Coq formalization of Symbolic Execution Formally Explained

An Exemplar for Self-Adaptive Underwater Vehicles performing pipeline inspection

An itree-like data-structure to additionally support internal non-determinism

Maude implementation

A tool to replay a log file as a series of queries onto an HTTP endpoint.

Repository for game theory approach for journeys

Fetch an academic paper or web article and send it to the reMarkable tablet with a single command

Toy Probabilistic Programming System written in Beautiful Racket