Titel

Merkliste
1 Ergebnisse

Policy Synthesis for Factored MDPs with Graph Temporal Logi..:

, In: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems,

Cubuktepe, Murat ; Xu, Zhe ; Topcu, Ufuk - p. 267-275 , 2020

Link: https://dl.acm.org/doi/10.5555/3398761.3398797

RT 
T1 <cTitle>Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems</cTitle>: T1 <Title>Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3398797&Exemplar=1&LAN=DE
				
A1 Cubuktepe, Murat
A1 Xu, Zhe
A1 Topcu, Ufuk
PB International Foundation for Autonomous Agents and Multiagent Systems
YR 2020
K1 distributed optimization
K1 graph temporal logic
K1 multi-agent planning
K1 verification of multi-agent systems
K1 Computing methodologies
K1 Artificial intelligence
K1 Planning and scheduling
K1 Multi-agent planning
K1 Distributed artificial intelligence
K1 Multi-agent systems
K1 Theory of computation
K1 Logic
K1 Logic and verification
K1 Design and analysis of algorithms
K1 Mathematical optimization
K1 Continuous optimization
K1 Convex optimization
SP 267
OP 275
LK http://dx.doi.org/https://dl.acm.org/doi/10.5555/3398761.3398797
DO https://dl.acm.org/doi/10.5555/3398761.3398797
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)