5 citations · 6 across the 7 of their papers we have counts for
7 papers
Model Learning for Adjusting the Level of Automation in HCPS
Mehrnoush Hajnorouzi, Astrid Rakow, Martin Fränzle
The steadily increasing level of automation in human-centred systems demands rigorous design methods for analysing and controlling interactions between humans and automated compone…
Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions
Ishan Saxena, Bernd Westphal, Martin Fränzle
Automated Driving Functions (ADFs) need to comply with spatial properties of varied complexity while driving on public roads. Since such situations are safety-critical in nature, i…
Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion
Linda Feeken, Martin Fränzle
The synthesis of reactive systems aims for the automated construction of strategies for systems that interact with their environment. Whereas the synthesis approach has the potenti…
Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion
Linda Feeken, Martin Fränzle
The synthesis of reactive systems aims for the automated construction of strategies for systems that interact with their environment. Whereas the synthesis approach has the potenti…
Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games
Martin Fränzle, Sarah Winter, Martin Zimmermann
We compare games under delayed control and delay games, two types of infinite games modelling asynchronicity in reactive synthesis. Our main result, the interreducibility of the ex…
Justification Based Reasoning in Dynamic Conflict Resolution
Werner Damm, Martin Fränzle, Willem Hagemann +2
We study conflict situations that dynamically arise in traffic scenarios, where different agents try to achieve their set of goals and have to decide on what to do based on their l…
Inner-Approximating Reachable Sets for Polynomial Systems with Time-Varying Uncertainties
Bai Xue, Martin Fränzle, Naijun Zhan
In this paper we propose a convex programming based method to address a long-standing problem of inner-approximating backward reachable sets of state-constrained polynomial systems…