research
∙
09/16/2023
A Categorical Framework for Program Semantics and Semantic Abstraction
Categorical semantics of type theories are often characterized as struct...
share
research
∙
08/20/2023
Formal Verification of Safety Architectures for Automated Driving
Safety architectures play a crucial role in the safety assurance of auto...
research
∙
08/13/2023
Formal Verification of Intersection Safety for Automated Driving
We build on our recent work on formalization of responsibility-sensitive...
research
∙
03/08/2023
Aczel-Mendler Bisimulations in a Regular Category
Aczel-Mendler bisimulations are a coalgebraic extension of a variety of ...
research
∙
01/17/2023
Weighted and Branching Bisimilarities from Generalized Open Maps
In the open map approach to bisimilarity, the paths and their runs in a ...
research
∙
07/06/2022
Goal-Aware RSS for Complex Scenarios via Program Logic
We introduce a goal-aware extension of responsibility-sensitive safety (...
research
∙
09/28/2020
Fixed Points Theorems for Non-Transitive Relations
In this paper, we develop an Isabelle/HOL library of order-theoretic fix...
research
∙
03/01/2019
Relational Differential Dynamic Logic
In the field of quality assurance of hybrid systems (that combine contin...
research
∙
09/25/2018
Quantitative bisimulations using coreflections and open morphisms
We investigate a canonical way of defining bisimilarity of systems when ...
research
∙
04/29/2018
Trees in partial Higher Dimensional Automata
In this paper, we give a new definition of partial Higher Dimension Auto...
research
∙
04/29/2018