Nguyen Hoang Nga

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 0

Top Topics

Automated Verification

Reactive Systems

Technical Report

Alternating Time Temporal Logic

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Franco Raimondi
Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources. CoRR (2015)
Phillip James, Faron Moller, Nguyen Hoang Nga, Markus Roggenbach, Steve A. Schneider, Helen Treharne
Techniques for modelling and verifying railway interlockings. Int. J. Softw. Tools Technol. Transf. 16 (6) (2014)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Logic for coalitions with bounded resources. J. Log. Comput. 21 (6) (2011)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. MoChArt (2010)
Nguyen Hoang Nga
An Extension of RB-ATL. MALLOW (2010)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Resource-bounded alternating-time temporal logic. AAMAS (2010)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Verifying time, memory and communication bounds in systems of reasoning agents. Synth. 169 (2) (2009)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Expressing Properties of Coalitional Ability under Resource Bounds. LORI (2009)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
A Logic for Coalitions with Bounded Resources. IJCAI (2009)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Reasoning about Other Agents' Beliefs under Bounded Resources. KRAMAS (2008)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Verifying Resource Requirements for Distributed Rule-Based Systems. RuleML (2008)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Verifying time, memory and communication bounds in systems of reasoning agents. AAMAS (2) (2008)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Verifying Time and Communication Costs of Rule-Based Reasoners. MoChArt (2008)