Titel

Merkliste
1 Ergebnisse

Multi-Agent Reinforcement Learning with Temporal Logic Spec..:

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

Hammond, Lewis ; Abate, Alessandro ; Gutierrez, Julian. - p. 583-592 , 2021

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

RT 
T1 <cTitle>Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems</cTitle>: T1 <Title>Multi-Agent Reinforcement Learning with Temporal Logic Specifications</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3464024&Exemplar=1&LAN=DE
				
A1 Hammond, Lewis
A1 Abate, Alessandro
A1 Gutierrez, Julian
A1 Wooldridge, Michael
PB International Foundation for Autonomous Agents and Multiagent Systems
YR 2021
K1 automata
K1 formal methods
K1 multi-agent reinforcement learning
K1 multi-objective reinforcement learning
K1 temporal logic
K1 Theory of computation
K1 Logic
K1 Modal and temporal logics
K1 Computing methodologies
K1 Machine learning
K1 Learning paradigms
K1 Reinforcement learning
K1 Multi-agent reinforcement learning
K1 Formal languages and automata theory
K1 Automata over infinite objects
K1 Logic and verification
K1 Artificial intelligence
K1 Distributed artificial intelligence
K1 Multi-agent systems
K1 Machine learning approaches
K1 Stochastic games
SP 583
OP 592
LK http://dx.doi.org/https://dl.acm.org/doi/10.5555/3463952.3464024
DO https://dl.acm.org/doi/10.5555/3463952.3464024
SF ELIB - SuUB Bremen

Export

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