Travelled to:1 × USA
2 × Austria
Collaborated with:J.Gutierrez P.Harrenstein R.H.Bordini M.Fisher C.Pardavila W.Visser
Talks about:equilibria (2) concurr (2) game (2) structur (1) program (1) system (1) reason (1) multi (1) model (1) event (1)
Person: Michael Wooldridge
DBLP: Wooldridge:Michael
Contributed to:
2014
2014
2003Wrote 3 papers:
- KR-2014-GutierrezHW #concurrent #reasoning
- Reasoning about Equilibria in Game-Like Concurrent Systems (JG, PH, MW).
- LICS-CSL-2014-GutierrezW #concurrent #game studies
- Equilibria of concurrent games on event structures (JG, MW), p. 10.
- CAV-2003-BordiniFPVW #model checking #multi #source code
- Model Checking Multi-Agent Programs with CASP (RHB, MF, CP, WV, MW), pp. 110–113.