Travelled to:1 × France
1 × Italy
Collaborated with:M.Huth N.Piterman
Talks about:attractor (1) reason (1) pariti (1) aggreg (1) trust (1) pealt (1) numer (1) fatal (1) autom (1) tool (1)
Person: Jim Huan-Pu Kuo
DBLP: Kuo:Jim_Huan=Pu
Contributed to:
2014
2013Wrote 2 papers:
- TACAS-2014-HuthK #automation #named #reasoning #trust
- PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence (MH, JHPK), pp. 109–123.
- FoSSaCS-2013-HuthKP #game studies
- Fatal Attractors in Parity Games (MH, JHPK, NP), pp. 34–49.