A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier. - Pedro Arturo Góngora; David A. Rosenblueth (CLIMA, 2009)

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 (Advances in Modal Logic, 2010)

Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of pi-Calculus Processes. - Pedro Arturo Góngora; Eric Ufferman; Francisco Hernández Quiroz (CLIMA, 2010)

"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)

Especificación, verificación y cálculo de estrategias en juegos no cooperativos usando verificación de modelos - Pedro Arturo Góngora (2014)

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)