Pedro Arturo Góngora

From MaRDI portal
Person:747537

Available identifiers

zbMath Open gongora.pedro-arturoMaRDI QIDQ747537

List of research outcomes





PublicationDate of PublicationType
A symbolic shortest path algorithm for computing subgame-perfect Nash equilibria2015-10-16Paper
A complete proof system for a dynamic epistemic logic based upon finite \(\pi\)-calculus processes2012-08-05Paper
A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier2010-11-09Paper
Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of π-Calculus Processes2010-08-24Paper

Research outcomes over time

This page was built for person: Pedro Arturo Góngora

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:747537&oldid=7525410"
Powered by MediaWiki