Explore projects

Basis for a number of papers (ABMT 2018, TRB 2019) from @shoerl and @balacm on discrete mode choice in MATSim

Check for known IOCs for the EGI Incidents #EGI20200421 and #EGI2020512

Artefacts and extended paper for "Real-time Policy Enforcement with Metric First-Order Temporal Logic" (ESORICS'22)