VIDEO DOI: https://doi.org/10.48448/fzx2-7394
PAPER DOI: Multi-agent planning; Graph temporal logic; Verification of multi-agent systems; Distributed optimization

technical paper

AAMAS 2020

May 11, 2020

Live on Underline

Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications

Please log in to leave a comment

Downloads

SlidesTranscript English (automatic)

Next from AAMAS 2020

Cautious Reinforcement Learning with Logical Constraints
technical paper

Cautious Reinforcement Learning with Logical Constraints

AAMAS 2020

Alessandro AbateMohammadhosein Hasanbeig
Mohammadhosein Hasanbeig and 2 other authors

11 May 2020

Similar lecture

AMOM: Adaptive Masking over Masking for Conditional Masked Language Model
poster

AMOM: Adaptive Masking over Masking for Conditional Masked Language Model

AAAI 2023

+4xiao yisheng
xiao yisheng and 6 other authors

12 February 2023

Stay up to date with the latest Underline news!

PRESENTATIONS

  • All Lectures
  • For Librarians
  • Resource Center
  • Free Trial
Underline Science, Inc.
1216 Broadway, 2nd Floor, New York, NY 10001, USA

© 2023 Underline - All rights reserved