@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@inproceedings{vazquez-adhs18,
  author = {Marcell Vazquez-Chanlatte and Shromona Ghosh and Vasumathi Raman and Alberto Sangiovanni-Vincentelli and Sanjit A. Seshia},
  title = {Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games},
  booktitle = {IFAC Conference on Analysis and Design of Hybrid Systems (ADHS)},
  year = {2018},
  abstract = {Motivated by the synthesis of controllers from high level temporal specifications,  
we present two algorithms to compute dominant strategies for continuous two-player zero-sum 
games based on the Counter Example Guided Inductive Synthesis (CEGIS) paradigm.  
In CEGIS, we iteratively propose candidate dominant strategies and find counterexamples. For 
scalabilty, past work has constrained the number of counterexamples used to generate new 
candidates, which leads to oscillations and incompleteness, even in very simple examples. Our 
first variant leverages Satisfiability Module Theory (SMT) along side optimization to efficiently 
implement CEGIS. The second abstracts previously refuted strategies, while maintaining a 
finite counterexample set. We characterize sufficient conditions for soundness/termination and 
show both algorithms are sound and terminate. Additionally, the second approach can be made 
arbitrarily close to complete. We conclude by comparing across different variants of CEGIS.},
}