research
∙
08/15/2023
The 19th International Workshop on Termination (WST 2023): Preface, Invited Talk Abstract, and Tool Descriptions
This report contains the proceedings of the 19th International Workshop ...
share
research
∙
07/06/2022
Goal-Aware RSS for Complex Scenarios via Program Logic
We introduce a goal-aware extension of responsibility-sensitive safety (...
research
∙
07/22/2021
Architecture-Guided Test Resource Allocation Via Logic
We introduce a new logic named Quantitative Confidence Logic (QCL) that ...
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
∙
02/27/2018