Discover projects, groups and snippets. Share your projects with others
Interface for coupling SUMO with CommonRoad to simulate traffic participants.
A Java library for Omega-words, ω-automata and Linear Temporal Logic (LTL). Batteries included.
An open source framework for the simulation of microscopic pedestrian dynamics.
Extendable Translating Instruction Set Simulator (ETISS)