Pedro Arturo Góngora

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 0

Top Topics

Incomplete Information

Solution Concepts

Nash Equilibria

Top Venues

Int. J. Appl. Math. Comput. Sci.

Publications

Pedro Arturo Góngora, David A. Rosenblueth
A Symbolic Shortest Path Algorithm for Computing Subgame-Perfect Nash Equilibria. Int. J. Appl. Math. Comput. Sci. 25 (3) (2015)
Gustavo Arellano, Julián Argil, Eugenio Azpeitia, Mariana Benítez, Miguel Carrillo, Pedro Arturo Góngora, David A. Rosenblueth, Elena R. Álvarez-Buylla
"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis. BMC Bioinform. 12 (2011)
Eric Ufferman, Pedro Arturo Góngora, Francisco Hernández Quiroz
A Complete Proof System for a Dynamic Epistemic Logic Based upon Finite pi-Calculus Processes. Advances in Modal Logic (2010)
Pedro Arturo Góngora, Eric Ufferman, Francisco Hernández Quiroz
-Calculus Processes. CLIMA (2010)
Pedro Arturo Góngora, David A. Rosenblueth
A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier. CLIMA (2009)