research
∙
07/10/2023
Deductive Controller Synthesis for Probabilistic Hyperproperties
Probabilistic hyperproperties specify quantitative relations between the...
share
research
∙
05/23/2023
Search and Explore: Symbiotic Policy Synthesis in POMDPs
This paper marries two state-of-the-art controller synthesis methods for...
research
∙
06/27/2022
Designing Approximate Arithmetic Circuits with Combined Error Constraints
Approximate circuits trading the power consumption for the quality of re...
research
∙
06/14/2022
Abstraction-Based Segmental Simulation of Chemical Reaction Networks
Simulating chemical reaction networks is often computationally demanding...
research
∙
03/21/2022
Inductive Synthesis of Finite-State Controllers for POMDPs
We present a novel learning framework to obtain finite-state controllers...
research
∙
05/27/2021
Model Repair Revamped: On the Automated Synthesis of Markov Chains
This paper outlines two approaches|based on counterexample-guided abstra...
research
∙
01/29/2021
Inductive Synthesis for Probabilistic Programs Reaches New Horizons
This paper presents a novel method for the automated synthesis of probab...
research
∙
03/05/2020
Adaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits
We present a novel approach for designing complex approximate arithmetic...
research
∙
05/23/2019
Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks
Analysis of large continuous-time stochastic systems is a computationall...
research
∙
04/28/2019
Counterexample-Driven Synthesis for Probabilistic Program Sketches
Probabilistic programs are key to deal with uncertainty in e.g. controll...
research
∙
04/24/2019
Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata
Deep packet inspection via regular expression (RE) matching is a crucial...
research
∙
02/15/2019
Shepherding Hordes of Markov Chains
This paper considers large families of Markov chains (MCs) that are defi...
research
∙
10/24/2017
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection (Technical Report)
We consider the problem of approximate reduction of non-deterministic au...
research
∙
10/24/2017