Nguyen, Hoang Nga

3 publications

IJCAI 2019 A Probabilistic Logic for Resource-Bounded Multi-Agent Systems Hoang Nga Nguyen, Abdur Rakib

IJCAI 2015 On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen

IJCAI 2015 Symbolic Model Checking for One-Resource RB+-ATL Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi