Guillermo A. Pérez

Available identifiers

zbMath Open perez.guillermo-aMaRDI QIDQ344559

List of research outcomes

Publication	Date of Publication	Type
Continuous One-counter Automata	2023-02-07	Paper
On the Complexity of Reachability in Parametric Markov Decision Processes	2023-02-03	Paper
Correction to: ``Reactive synthesis without regret	2022-09-26	Paper
On the Complexity of Value Iteration	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5089305	2022-07-18	Paper
Active learning of sequential transducers with side information about the domain	2022-03-25	Paper
Safe learning for near-optimal scheduling	2022-03-24	Paper
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints	2021-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q5002806	2021-07-28	Paper
Weak Cost Register Automata are Still Powerful	2021-04-19	Paper
When are emptiness and containment decidable for probabilistic automata?	2021-04-14	Paper
The complexity of reachability in parametric Markov decision processes	2021-04-14	Paper
https://portal.mardi4nfdi.de/entity/Q5144642	2021-01-19	Paper
The impatient may use limited optimism to minimize regret	2020-01-28	Paper
Partial solvers for generalized parity games	2019-10-22	Paper
Looking at mean payoff through foggy windows	2018-12-12	Paper
Weak cost register automata are still powerful	2018-11-22	Paper
The complexity of graph-based reductions for reachability in Markov decision processes	2018-07-17	Paper
Mean-payoff games with partial observation	2018-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q4636592	2018-04-19	Paper
Reactive Synthesis Without Regret	2017-09-12	Paper
Minimizing Regret in Discounted-Sum Games	2017-07-19	Paper
https://portal.mardi4nfdi.de/entity/Q5275375	2017-07-13	Paper
Reactive synthesis without regret	2017-04-03	Paper
The fixed initial credit problem for partial-observation energy games is \textsc{Ack}-complete	2016-11-23	Paper
Non-Zero Sum Games for Reactive Synthesis	2016-04-13	Paper
Looking at Mean-Payoff Through Foggy Windows	2016-01-08	Paper
Mean-Payoff Games with Partial-Observation	2015-10-28	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Guillermo A. Pérez