Heinrich Ody

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 2

Top Topics

Automated Deduction

Imprecise Information

Top Venues

Joint Workshop of the German Research Training Groups in Computer Science

Publications

Heinrich Ody
Monitoring of Traffic Manoeuvres with Imprecise Information. FVAV@iFM (2017)
Heinrich Ody, Martin Fränzle, Michael R. Hansen
Discounted Duration Calculus. FM (2016)
Heinrich Ody
Undecidability Results for Multi-Lane Spatial Logic. ICTAC (2015)
Martin Fränzle, Michael R. Hansen, Heinrich Ody
No Need Knowing Numerous Neighbours - Towards a Realizable Interpretation of MLSL. Correct System Design (2015)
Heinrich Ody
Robust Spatio-Temporal Logic for Mobile Agents. Joint Workshop of the German Research Training Groups in Computer Science (2014)