Research Articleposted 2025-12-01 08:33:00
Runtime Monitoring of Static Fairness Properties
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik
Under Review
at
Research Articleposted 2025-11-12 14:41:07
Sound Policy Iteration
Mohammadsadegh Mohagheghi, Anahita Khademi
Under Review
at
Research Articleposted 2025-10-10 04:41:44
Linear temporal constraints for sketch-based synthesizers
Fernando A. Galicia Mendoza, David A. Rosenblueth, Armando Solar-Lezama
Under Review
at
Research Articleposted 2024-09-25 18:23:19
Bounded Satisfiability Checking of FOL * Formulas with Aggregations
Nick Feng, Lina Marsso, Yuliia Kholodetska, Marsha Chechik
Published
at
Research Articleposted 2024-07-22 07:17:02
Automatic WSTS-based Repair and Deadlock Detection of Parameterized Systems
Tom Baumeister, Swen Jacobs, Mouhammad Sakr, Marcus Völp
Published
at
Research Articleposted 2024-05-14 17:42:22
Search and Explore: Symbiotic Policy Synthesis in POMDPs
Roman Andriushchenko, Alexander Bork, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
Under Review
at
Research Articleposted 2024-02-02 03:41:15
Automatic Assume-Guarantee Reasoning for Safety andLiveness Using Passive Learning
Ocan Sankur
Published
at
Research Articleposted 2023-07-18 04:17:37
Data-Driven Invariant Learning for Probabilistic Programs
Jialu Bao Jialu Bao, Nitesh Trivedi Nitesh Trivedi, Drashti Pathak Drashti Pathak, Justin Hsu Justin Hsu, Subhajit Roy Subhajit Roy
Published
at
Research Articleposted 2023-06-21 03:54:41
Reachability of Koopman Linearized Systems Using Explicit Kernel Approximation and Polynomial Zonotope Refinement
Stanley Bak, Sergiy Bogomolov, Brandon Hencey, Niklas Kochdumper, Ethan Lew, Kostiantyn Potomkin
Published
at