research
∙
06/29/2023
Safety-Aware Task Composition for Discrete and Continuous Reinforcement Learning
Compositionality is a critical aspect of scalable system design. Reinfor...
share
research
∙
05/26/2023
STL: Surprisingly Tricky Logic (for System Validation)
Much of the recent work developing formal methods techniques to specify ...
research
∙
05/18/2023
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning
We present Self-Driven Strategy Learning (sdsl), a lightweight online le...
research
∙
10/03/2022
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
This paper explores continuous-time control synthesis for target-driven ...
research
∙
08/12/2021
Automating System Configuration
The increasing complexity of modern configurable systems makes it critic...
research
∙
05/07/2021
lazybvtoint at the SMT Competition 2020
lazybvtoint is a new prototype SMT-solver, that will participate in the ...
research
∙
01/18/2021
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
We develop a framework for model checking infinite-state systems by auto...
research
∙
07/02/2020
Smt-Switch: a solver-agnostic C++ API for SMT Solving
This extended abstract describes work in progress on Smt-Switch, an open...
research
∙
06/20/2020