Martin Fr\"anzle

Identifiers

No identifiers captured yet.

Papers (5)

1. Justification Based Reasoning in Dynamic Conflict Resolution cs.MA · 2019 · author #2
2. Effective Definability of the Reachability Relation in Timed Automata cs.FL · 2019 · author #1
3. Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic cs.HC · 2019 · author #2
4. Inner-Approximating Reachable Sets for Polynomial Systems with Time-Varying Uncertainties math.OC · 2018 · author #2
5. Costs and Rewards in Priced Timed Automata cs.LO · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• James Worrell 2 shared papers
• Mahsa Shirmohammadi 2 shared papers
• Werner Damm 2 shared papers
• Alexander Trende 1 shared papers
• Andreas L\"udtke 1 shared papers
• Anirudh Unni 1 shared papers
• Astrid Rakow 1 shared papers
• Bai Xue 1 shared papers
• Jochem W. Rieger 1 shared papers
• Karin Quaas 1 shared papers
• Mani Swaminathan 1 shared papers
• Naijun Zhan 1 shared papers
• Paul Kr\"oger 1 shared papers
• Willem Hagemann 1 shared papers