Hoang Nga Nguyen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Formal modelling and verification of probabilistic resource bounded agents Journal of Logic, Language and Information	2024-02-06	Paper
Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K Model Checking Software	2023-03-21	Paper
A formal framework for security testing of automotive over-the-air update systems Journal of Logical and Algebraic Methods in Programming	2022-11-16	Paper
Alternating-time temporal logic with resource bounds Journal Of Logic And Computation	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 Journal of Computer and System Sciences	2017-06-30	Paper
The virtues of idleness: a decidable fragment of resource agent logic Artificial Intelligence	2017-02-28	Paper
Logic for coalitions with bounded resources Journal Of Logic And Computation	2011-12-19	Paper
Reasoning about Other Agents’ Beliefs under Bounded Resources Lecture Notes in Computer Science	2009-11-12	Paper
Verifying time, memory and communication bounds in systems of reasoning agents Synthese	2009-11-04	Paper

Research outcomes over time

This page was built for person: Hoang Nga Nguyen