699 citations
- Centre National de la Recherche ScientifiqueFR25 papers
- Max Planck Institute for InformaticsDE24 papers
- German Research Centre for Artificial IntelligenceDE13 papers
- Karlsruhe Institute of TechnologyDE11 papers
- Universitat Autònoma de BarcelonaES11 papers
- Helmholtz Center for Information SecurityDE10 papers
- Leipzig UniversityDE10 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR9 papers
- Institute for Solid State Physics and OpticsHU9 papers
- Max Planck SocietyDE9 papers
- RWTH Aachen UniversityDE9 papers
- Universität HamburgDE8 papers
37 papers · 1 filter
Synthesizing Approximate Implementations for Unrealizable Specifications
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
The unrealizability of a specification is often due to the assumption that the behavior of the environment is unrestricted. In this paper, we present algorithms for synthesis in bo…
Approximate Automata for Omega-Regular Languages
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
Automata over infinite words, also known as omega-automata, play a key role in the verification and synthesis of reactive systems. The spectrum of omega-automata is defined by two…
Canonical Representations of k-Safety Hyperproperties
Bernd Finkbeiner, Lennart Haas, Hazem Torfah
Hyperproperties elevate the traditional view of trace properties form sets of traces to sets of sets of traces and provide a formalism for expressing information-flow policies. For…
Explainable Reactive Synthesis
Tom Baumeister, Bernd Finkbeiner, Hazem Torfah
Reactive synthesis transforms a specification of a reactive system, given in a temporal logic, into an implementation. The main advantage of synthesis is that it is automatic. The…
Capillary stamping of functional materials: parallel additive substrate patterning without ink depletion
Mercedes Runge, Hanna Hübner, Alexander Grimm +8
Patterned substrates for optics, electronics, sensing, lab-on-chip technologies, bioanalytics, clinical diagnostics as well as translational and personalized medicine are typically…
Designing a Mobile Social and Vocational Reintegration Assistant for Burn-out Outpatient Treatment
Patrick Gebhard, Tanja Schneeberger, Michael Dietz +2
Using Social Agents as health-care assistants or trainers is one focus area of IVA research. While their use as physical health-care agents is well established, their employment in…