Pedro Arturo Góngora

According to our database, Pedro Arturo Góngora authored at least 6 papers between 2009 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

A Symbolic Shortest Path Algorithm for Computing Subgame-Perfect Nash Equilibria.

Pedro Arturo Góngora, David A. Rosenblueth

Int. J. Appl. Math. Comput. Sci., 2015

2014

Especificación, verificación y cálculo de estrategias en juegos no cooperativos usando verificación de modelos

Pedro Arturo Góngora

PhD thesis, 2014

2011

"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis.

Gustavo Arellano, Julián Argil, Eugenio Azpeitia, Mariana Benítez, Miguel Carrillo, Pedro Arturo Góngora, David A. Rosenblueth, Elena R. Álvarez-Buylla

BMC Bioinform., 2011

2010

Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of <i>pi</i>-Calculus Processes.

Pedro Arturo Góngora, Eric Ufferman, Francisco Hernández Quiroz

Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

A Complete Proof System for a Dynamic Epistemic Logic Based upon Finite pi-Calculus Processes.

Eric Ufferman, Pedro Arturo Góngora, Francisco Hernández Quiroz

Proceedings of the Advances in Modal Logic 8, 2010

2009

A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier.

Pedro Arturo Góngora, David A. Rosenblueth

Proceedings of the Computational Logic in Multi-Agent Systems, 2009