Heinrich Ody

Orcid: 0000-0002-6177-5788

According to our database¹, Heinrich Ody authored at least 6 papers between 2014 and 2020.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2020

Monitoring of traffic manoeuvres with imprecise information.

[BibT_eX]

[DOI]

Heinrich Ody

PhD thesis, 2020

2017

Monitoring of Traffic Manoeuvres with Imprecise Information.

[BibT_eX]

[DOI]

Heinrich Ody

Proceedings of the Proceedings First Workshop on Formal Verification of Autonomous Vehicles, 2017

2016

Discounted Duration Calculus.

[BibT_eX]

[DOI]

Heinrich Ody

Martin Fränzle

Michael R. Hansen

Proceedings of the FM 2016: Formal Methods, 2016

2015

Undecidability Results for Multi-Lane Spatial Logic.

[BibT_eX]

[DOI]

Heinrich Ody

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

No Need Knowing Numerous Neighbours - Towards a Realizable Interpretation of MLSL.

[BibT_eX]

[DOI]

Martin Fränzle

Michael R. Hansen

Heinrich Ody

Proceedings of the Correct System Design, 2015

2014

Robust Spatio-Temporal Logic for Mobile Agents.

[BibT_eX]

Heinrich Ody

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014

Heinrich Ody

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...