
Active Learning of Sequential Transducers with Side Information about the Domain
Active learning is a setting in which a student queries a teacher, throu...
read it

Continuous OneCounter Automata
We study the reachability problem for continuous onecounter automata, C...
read it

The Complexity of Reachability in Parametric Markov Decision Processes
This article presents the complexity of reachability decision problems f...
read it

Safe Learning for Near Optimal Scheduling
In this paper, we investigate the combination of synthesis techniques an...
read it

Robustness Verification for Classifier Ensembles
We give a formal verification procedure that decides whether a classifie...
read it

Revisiting Synthesis for OneCounter Automata
Onecounter automata are obtained by extending classical finitestate au...
read it

Let's Agree to Degree: Comparing Graph Convolutional Networks in the MessagePassing Framework
In this paper we cast neural networks defined on graphs as messagepassi...
read it

The Extended HOA Format for Synthesis
We propose a small extension to the Hanoi OmegaAutomata format to defin...
read it

Partial Solvers for Generalized Parity Games
Parity games have been broadly studied in recent years for their applica...
read it

On the Complexity of Reachability in Parametric Markov Decision Processes
This paper studies parametric Markov decision processes (pMDPs), an exte...
read it

Coverability in 1VASS with Disequality Tests
We show that the controlstate reachability problem for onedimensional ...
read it

The Impatient May Use Limited Optimism to Minimize Regret
Discountedsum games provide a formal model for the study of reinforceme...
read it

On the Complexity of Value Iteration
Value iteration is a fundamental algorithm for solving Markov Decision P...
read it

On the Complexity of Iterative Tropical Computation with Applications to Markov Decision Processes
We study the complexity of evaluating powered functions implemented by s...
read it

LearningBased MeanPayoff Optimization in an Unknown MDP under OmegaRegular Constraints
We formalize the problem of maximizing the meanpayoff value with high p...
read it

The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results
We report on the fourth reactive synthesis competition (SYNTCOMP 2017). ...
read it

The Complexity of GraphBased Reductions for Reachability in Markov Decision Processes
We study the neverworse relation (NWR) for Markov decision processes wi...
read it

Optimizing Expectation with Guarantees in POMDPs (Technical Report)
A standard objective in partiallyobservable Markov decision processes (...
read it
Guillermo A. Perez
is this you? claim profile