State University of New York at Stony Brook.;
机译:分布式模型检查和反例搜索CTL逻辑
机译:连续双拍卖中自主代理人的基于模糊逻辑的出价策略
机译:使用移动代理基于云的异构分布式系统的自动监视和管理
机译:一群自治智能体的运动分布控制和基于模糊逻辑的任务分配
机译:在异构智能传感器和执行器动态网络上优化自组织分布式自治代理的框架。
机译:使用模糊逻辑和动态编程自动检测MR图像上的心脏轮廓。
机译:使用逻辑编程建模和验证分布式自治代理
机译:分布式编程的逻辑和格。