research
∙
08/20/2023
Formal Verification of Safety Architectures for Automated Driving
Safety architectures play a crucial role in the safety assurance of auto...
share
research
∙
08/13/2023
Formal Verification of Intersection Safety for Automated Driving
We build on our recent work on formalization of responsibility-sensitive...
research
∙
07/17/2023
Compositional Probabilistic Model Checking with String Diagrams of MDPs
We present a compositional model checking algorithm for Markov decision ...
research
∙
07/16/2023
Compositional Solution of Mean Payoff Games by String Diagrams
Following our recent development of a compositional model checking algor...
research
∙
07/06/2022
Goal-Aware RSS for Complex Scenarios via Program Logic
We introduce a goal-aware extension of responsibility-sensitive safety (...
research
∙
12/28/2021
A Compositional Approach to Parity Games
In this paper, we introduce open parity games, which is a compositional ...
research
∙
07/22/2021
Architecture-Guided Test Resource Allocation Via Logic
We introduce a new logic named Quantitative Confidence Logic (QCL) that ...
research
∙
01/05/2021
Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs
We introduce a novel sampling algorithm for Bayesian inference on impera...
research
∙
10/16/2018
Simple game semantics and Day convolution
Game semantics has provided adequate models for a variety of programming...
research
∙
11/29/2017
What's in a game? A theory of game models
Game semantics is a rich and successful class of denotational models for...
research
∙
10/18/2017