Ieee Iv 2022 - Rule-Compliant Trajectory Repairing Using Satisfiability Modulo Theories

IEEE IV 2022 - Rule-Compliant Trajectory Repairing using Satisfiability Modulo Theories

TUM Cyber-Physical Systems

IEEE IV 2021 - Temporal Logic Formalization of Marine Traffic Rules

TUM Cyber-Physical Systems

IEEE IV 2022 - Submission 467

IEEE IV 2020:Co-simulation Platform for Developing Energy-Efficient Connected and Automated Vehicles

Efficient Trajectory Repairing for Autonomous Vehicles - Evaluation

IEEE ITSC 2021 - Sampling-Based Trajectory Repairing for Autonomous Vehicles

TUM Cyber-Physical Systems

[VMCAI'23] Satisfiability Modulo Custom Theories in Z3 (Tool Paper)

A Visual Analytics Approach to Debugging Cooperative, Autonomous Multi-Robot System

IEEE Visualization Conference

Visual Exploration of Machine Learning Model Behavior with Hierarchical Surrogate Rule Sets - Fast

IEEE Visualization Conference

IEC 61850 Precision Time Protocol IEEE 1588

iS5 Communications

Satisfiability Modulo Theories

IEEE IV 2020 - Probabilistic Motion Prediction for Automated Vehicles in Highway Scenarios

Florian Wirthmüller

Clark Barrett: "Proof Certificates in Satisfiability Modulo Theories"

Topos Institute

UrbanMotion: Visual Analysis of Metropolitan-Scale Sparse Trajectories

IEEE Visualization Conference

Learning and reasoning with probabilistic satisfiability modulo theories - SML journal club - Talk 6

Structured Machine Learning Group

Intelligent Signal Processing on a Miniaturized Hardware Module | IEEE Sensors 2017