2 citations · 3 across the 8 of their papers we have counts for
8 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…
Reach-avoid Verification Based on Convex Optimization
Bai Xue, Naijun Zhan, Martin Fränzle +2
In this paper we propose novel optimization-based methods for verifying reach-avoid (or, eventuality) properties of continuous-time systems modelled by ordinary differential equati…