Guillermo A. Pérez

According to our database1, Guillermo A. Pérez
  • authored at least 27 papers between 2013 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
The first reactive synthesis competition (SYNTCOMP 2014).
STTT, 2017

The fixed initial credit problem for partial-observation energy games is Ack-complete.
Inf. Process. Lett., 2017

On Delay and Regret Determinization of Max-Plus Automata.
CoRR, 2017

Reactive synthesis without regret.
Acta Inf., 2017

On delay and regret determinization of max-plus automata.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Optimizing Expectation with Guarantees in POMDPs.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results.
Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

Optimizing Expectation with Guarantees in POMDPs (Technical Report).
CoRR, 2016

Admissibility in Quantitative Graph Games.
CoRR, 2016

Non-Zero Sum Games for Reactive Synthesis.
Proceedings of the Language and Automata Theory and Applications, 2016

Admissibility in Quantitative Graph Games.
Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016

Minimizing Regret in Discounted-Sum Games.
Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

2015
The fixed initial credit problem for energy games with partial-observation is Ackermann-complete.
CoRR, 2015

The Second Reactive Synthesis Competition (SYNTCOMP 2015).
Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015

The First Reactive Synthesis Competition (SYNTCOMP 2014).
CoRR, 2015

Minimizing Regret in Discounted-Sum Games.
CoRR, 2015

Looking at Mean-Payoff through Foggy Windows.
CoRR, 2015

Reactive Synthesis Without Regret.
CoRR, 2015

Quantitative Games under Failures.
CoRR, 2015

Compositional Algorithms for Succinct Safety Games.
Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015

Non-Zero Sum Games for Reactive Synthesis.
CoRR, 2015

Quantitative Games under Failures.
Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

Reactive Synthesis Without Regret.
Proceedings of the 26th International Conference on Concurrency Theory, 2015

Looking at Mean-Payoff Through Foggy Windows.
Proceedings of the Automated Technology for Verification and Analysis, 2015

2014
AbsSynthe: abstract synthesis from succinct safety specifications.
Proceedings of the Proceedings 3rd Workshop on Synthesis, 2014

Mean-Payoff Games with Partial-Observation - (Extended Abstract).
Proceedings of the Reachability Problems - 8th International Workshop, 2014

2013
Mean-payoff Games with Incomplete Information.
CoRR, 2013


  Loading...