SHF: Medium: Collaborative Research: Formal Analysis and Synthesis of Multiagent Systems with Incentives
SHF:媒介:协作研究:带激励的多智能体系统的形式分析与综合
基本信息
- 批准号:1704883
- 负责人:
- 金额:$ 80万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2017
- 资助国家:美国
- 起止时间:2017-07-01 至 2022-06-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
The project develops automated methods for the tool-aided design and analysis of multi-agent systems with incentives. These systems are natural models for real-world situations in which collections of actors interact with one another in an autonomous and self-interested manner. For example, such a system can model a set of software agents that participate in an internet-based protocol, such as an advertisement auction or crypto currency; a collection of robots that share physical or digital infrastructure; or a set of cells that participate in an evolutionary process. The project combines game-theoretic and logical methods to develop techniques for formal modeling, analysis, verification, and synthesis of such systems. The end objectives of the project include reliable engineering of protocols that govern interactions among autonomous agents, and computer-aided understanding of naturally occurring game-theoretic interactions.The technical approach of the project has three dimensions. The first is the development of new formal models, correctness requirements, and abstraction and reasoning principles for multi-agent systems with incentives. Research directions include richer notions of equilibria in multi-agent systems, and effects of interaction and randomization on equilibria. Second, the project studies algorithmic tools for analysis and verification of multi-agent systems with incentives with respect to desired requirements regarding system behaviors and equilibria. The third direction is to automatically synthesize mechanisms so as to guarantee desired properties. Applications from a range of areas, including financial protocols, robotics, and biology, are used to guide and evaluate the research.
该项目开发了具有激励机制的多智能体系统的工具辅助设计和分析的自动化方法。这些系统是现实世界场景的自然模型,在这些场景中,参与者的集合以自主和自利的方式相互作用。例如,这样的系统可以模拟一组参与基于互联网的协议的软件代理,例如广告拍卖或加密货币;共享物理或数字基础设施的机器人集合;或者是一组参与进化过程的细胞。该项目结合了博弈论和逻辑方法来开发正式建模、分析、验证和综合这些系统的技术。该项目的最终目标包括管理自主代理之间交互的可靠协议工程,以及对自然发生的博弈论交互的计算机辅助理解。该项目的技术方法有三个方面。首先是开发新的形式模型,正确性要求,以及具有激励的多智能体系统的抽象和推理原则。研究方向包括多智能体系统中更丰富的均衡概念,以及相互作用和随机化对均衡的影响。其次,该项目研究了用于分析和验证多智能体系统的算法工具,这些系统具有关于系统行为和平衡的期望需求的激励。第三个方向是自动综合机制,以保证期望的性能。来自一系列领域的应用,包括金融协议、机器人和生物学,被用来指导和评估研究。
项目成果
期刊论文数量(15)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Synthesis from Satisficing and Temporal Goals
从满意目标和暂时目标综合
- DOI:10.1609/aaai.v36i9.21202
- 发表时间:2022
- 期刊:
- 影响因子:0
- 作者:Bansal, Suguman;Kavraki, Lydia;Vardi, Moshe Y.;Wells, Andrew
- 通讯作者:Wells, Andrew
Satisfiability checking for Mission-time LTL (MLTL)
任务时间零担 (MLTL) 的满意度检查
- DOI:10.1016/j.ic.2022.104923
- 发表时间:2022
- 期刊:
- 影响因子:1
- 作者:Li, Jianwen;Vardi, Moshe Y.;Rozier, Kristin Y.
- 通讯作者:Rozier, Kristin Y.
Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition
基于SCC分解的Büchi自动机分而治之确定
- DOI:
- 发表时间:2022
- 期刊:
- 影响因子:0
- 作者:Yong Li, Andrea Turrini
- 通讯作者:Yong Li, Andrea Turrini
Verification and Realizability in Finite-Horizon Multiagent Systems
有限视野多智能体系统的验证和可实现性
- DOI:10.24963/kr.2022/28
- 发表时间:2022
- 期刊:
- 影响因子:0
- 作者:Rajasekaran, Senthil;Vardi, Moshe Y.
- 通讯作者:Vardi, Moshe Y.
utomating Mechanism Design with Program Synthesis
通过程序综合实现机构设计自动化
- DOI:
- 发表时间:2022
- 期刊:
- 影响因子:0
- 作者:Narayanasamy, Sai Kiran
- 通讯作者:Narayanasamy, Sai Kiran
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Moshe Vardi其他文献
TCT-548 Variability in Analysis of Freedom from Primary Patency from Trials Assessing Stent Implantation in the Superficial Femoral Artery.
- DOI:
10.1016/j.jacc.2013.08.1294 - 发表时间:
2013-10-29 - 期刊:
- 影响因子:
- 作者:
Moshe Vardi;Lanyu Lei;Gheorghe Doros - 通讯作者:
Gheorghe Doros
LOW EJECTION FRACTION: COMMON LINK BETWEEN ARTERIAL AND VENOUS EVENTS IN PATIENTS UNDERGOING PCI
- DOI:
10.1016/s0735-1097(13)62094-x - 发表时间:
2013-03-12 - 期刊:
- 影响因子:
- 作者:
Moshe Vardi;Gregory Piazza;Michael Pencina;David Burke;Lanyu Lei;Samuel Goldhaber;Donald Cutlip - 通讯作者:
Donald Cutlip
Large-bore thoracentesis — A case report of a fatal consequence
- DOI:
10.1016/j.ejim.2007.05.003 - 发表时间:
2007-09-01 - 期刊:
- 影响因子:
- 作者:
Moshe Vardi;Guy Dori;Haim Bitterman - 通讯作者:
Haim Bitterman
PREDICTORS OF RECURRENT NEUROLOGIC EVENTS IN PATIENTS WITH PATENT FORAMEN OVALE: INSIGHTS FROM THE CLOSURE I TRIAL
- DOI:
10.1016/s0735-1097(13)61749-0 - 发表时间:
2013-03-12 - 期刊:
- 影响因子:
- 作者:
Sammy Elmariah;Anthony Furlan;Mark Reisman;David Burke;Moshe Vardi;Shuqiong Ling;Xiaohua Chen;Laura Mauri; CLOSURE I Investigators - 通讯作者:
CLOSURE I Investigators
The Trembling-Hand Problem for LTLf Planning
LTLf 规划的颤手问题
- DOI:
10.48550/arxiv.2404.16163 - 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Pian Yu;Shufang Zhu;G. D. Giacomo;Marta Kwiatkowska;Moshe Vardi - 通讯作者:
Moshe Vardi
Moshe Vardi的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Moshe Vardi', 18)}}的其他基金
Conference: CISE: CCF: SHF: Support for the 2022 Federated Logic Conference
会议:CISE:CCF:SHF:支持 2022 年联邦逻辑会议
- 批准号:
2223546 - 财政年份:2022
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
CCRI: Medium: Collaborative Research: Open-Source, State-of-the-Art Symbolic Model-Checking Framework
CCRI:媒介:协作研究:开源、最先进的符号模型检查框架
- 批准号:
2016656 - 财政年份:2020
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
Student Support for the 2018 Federated Logic Conference
2018 年联邦逻辑会议的学生支持
- 批准号:
1824944 - 财政年份:2018
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
A Conference on Humans, Machines and the Future of Work
关于人类、机器和未来工作的会议
- 批准号:
1648897 - 财政年份:2016
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
III: Small: Sampling Techniques in Computational Logic
III:小:计算逻辑中的采样技术
- 批准号:
1527668 - 财政年份:2015
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
Student Support for the 2014 Federated Logic Conference
2014 年联邦逻辑会议的学生支持
- 批准号:
1419283 - 财政年份:2014
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
MRI: Acquisition of Big-Data Private-Cloud Research Cyberinfrastructure (BDPC)
MRI:收购大数据私有云研究网络基础设施 (BDPC)
- 批准号:
1338099 - 财政年份:2013
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
SHF: Small: Pushing the Frontier of Linear-Time Model-Checking Technology
SHF:小型:推动线性时间模型检查技术的前沿
- 批准号:
1319459 - 财政年份:2013
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
Collaborative Research: Expeditions in Computer Augmented Program Engineering (ExCAPE): Harnessing Synthesis for Software Design
协作研究:计算机增强程序工程探险 (ExCAPE):利用综合进行软件设计
- 批准号:
1139011 - 财政年份:2012
- 资助金额:
$ 80万 - 项目类别:
Continuing Grant
Support for the 2010 Federated Logic Conference
支持 2010 年联邦逻辑会议
- 批准号:
1009103 - 财政年份:2010
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
相似海外基金
Collaborative Research: SHF: Medium: Differentiable Hardware Synthesis
合作研究:SHF:媒介:可微分硬件合成
- 批准号:
2403134 - 财政年份:2024
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Enabling Graphics Processing Unit Performance Simulation for Large-Scale Workloads with Lightweight Simulation Methods
合作研究:SHF:中:通过轻量级仿真方法实现大规模工作负载的图形处理单元性能仿真
- 批准号:
2402804 - 财政年份:2024
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Tiny Chiplets for Big AI: A Reconfigurable-On-Package System
合作研究:SHF:中:用于大人工智能的微型芯片:可重新配置的封装系统
- 批准号:
2403408 - 财政年份:2024
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Toward Understandability and Interpretability for Neural Language Models of Source Code
合作研究:SHF:媒介:实现源代码神经语言模型的可理解性和可解释性
- 批准号:
2423813 - 财政年份:2024
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Enabling GPU Performance Simulation for Large-Scale Workloads with Lightweight Simulation Methods
合作研究:SHF:中:通过轻量级仿真方法实现大规模工作负载的 GPU 性能仿真
- 批准号:
2402806 - 财政年份:2024
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Differentiable Hardware Synthesis
合作研究:SHF:媒介:可微分硬件合成
- 批准号:
2403135 - 财政年份:2024
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Tiny Chiplets for Big AI: A Reconfigurable-On-Package System
合作研究:SHF:中:用于大人工智能的微型芯片:可重新配置的封装系统
- 批准号:
2403409 - 财政年份:2024
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Enabling GPU Performance Simulation for Large-Scale Workloads with Lightweight Simulation Methods
合作研究:SHF:中:通过轻量级仿真方法实现大规模工作负载的 GPU 性能仿真
- 批准号:
2402805 - 财政年份:2024
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: High-Performance, Verified Accelerator Programming
合作研究:SHF:中:高性能、经过验证的加速器编程
- 批准号:
2313024 - 财政年份:2023
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Verifying Deep Neural Networks with Spintronic Probabilistic Computers
合作研究:SHF:中:使用自旋电子概率计算机验证深度神经网络
- 批准号:
2311295 - 财政年份:2023
- 资助金额:
$ 80万 - 项目类别:
Continuing Grant