Tadashi Araragi

Available identifiers

zbMath Open araragi.tadashiMaRDI QIDQ2844924

List of research outcomes

Publication	Date of Publication	Type
A verification method for a commitment strategy of the BDI architecture	2013-08-20	Paper
Deduction systems for BDI logics with mental state consistency	2013-08-20	Paper
Adaptive and Composable Non-committing Encryptions	2010-10-25	Paper
Checking Liveness Properties of Concurrent Systems by Reinforcement Learning	2007-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4536749	2002-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4893142	1997-01-13	Paper

Research outcomes over time

This page was built for person: Tadashi Araragi