research
∙
07/04/2023
Analyzing Intentional Behavior in Autonomous Agents under Uncertainty
Principled accountability for autonomous decision-making in uncertain en...
share
research
∙
06/27/2023
DrNLA: Extending Verification to Non-linear Programs through Dual Re-writing
For many decades, advances in static verification have focused on linear...
research
∙
05/09/2023
'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions
Principled accountability in the aftermath of harms is essential to the ...
research
∙
02/09/2022
An algebra of alignment for relational verification
Relational verification encompasses information flow security, regressio...
research
∙
02/06/2022
IVeri: Privacy-Preserving Interdomain Verification
In an interdomain network, autonomous systems (ASes) often establish pee...
research
∙
10/12/2020
DynamiTe: Dynamic Termination and Non-termination Proofs
There is growing interest in termination reasoning for non-linear progra...
research
∙
03/18/2019
Specification and Inference of Trace Refinement Relations
Modern software is constantly changing. Researchers and practitioners ar...
research
∙
02/13/2018