Hoang Nga Nguyen

Available identifiers

zbMath Open nguyen.hoang-ngaMaRDI QIDQ514141

List of research outcomes

Publication	Date of Publication	Type
Formal modelling and verification of probabilistic resource bounded agents	2024-02-06	Paper
Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K	2023-03-21	Paper
A formal framework for security testing of automotive over-the-air update systems	2022-11-16	Paper
Alternating-time temporal logic with resource bounds	2019-01-31	Paper
Decidable model-checking for a resource logic with production of resources	2017-07-18	Paper
Model-checking for resource-bounded ATL with production and consumption of resources	2017-06-30	Paper
The virtues of idleness: a decidable fragment of resource agent logic	2017-02-28	Paper
Logic for coalitions with bounded resources	2011-12-19	Paper
Reasoning about Other Agents’ Beliefs under Bounded Resources	2009-11-12	Paper
Verifying time, memory and communication bounds in systems of reasoning agents	2009-11-04	Paper

Research outcomes over time

This page was built for person: Hoang Nga Nguyen