Abdur Rakib

Available identifiers

zbMath Open rakib.abdurMaRDI QIDQ1036065

List of research outcomes

Publication	Date of Publication	Type
Formal modelling and verification of probabilistic resource bounded agents	2024-02-06	Paper
Alternating-time temporal logic with resource bounds	2019-01-31	Paper
Logic for coalitions with bounded resources	2011-12-19	Paper
Expressing Properties of Coalitional Ability under Resource Bounds	2010-01-07	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
Verifying Time and Communication Costs of Rule-Based Reasoners	2009-03-17	Paper
Automated Technology for Verification and Analysis	2006-10-25	Paper

Research outcomes over time

This page was built for person: Abdur Rakib