Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Martin Fabian
Researcher
PaperA Compositional Algorithm for the Conflict-Free Electric Vehicle Routing ProblemAuthorship / preprint / 2022PaperFormal Development of Safe Automated Driving using Differential Dynamic LogicAuthorship / preprint / 2022PaperLeveraging Conflicting Constraints in Solving Vehicle Routing ProblemsAuthorship / preprint / 2022PaperSupervisory Control Synthesis of Timed Automata Using Forcible EventsAuthorship / preprint / 2021PaperNetworked Supervisory Control Synthesis of Timed Discrete-Event SystemsAuthorship / preprint / 2021PaperRobust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: ProofsAuthorship / preprint / 2022PaperOn How to Not Prove Faulty Controllers Safe in Differential Dynamic LogicAuthorship / preprint / 2022