2020.8.17 Multiagent papers

08-12-2020	Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games by Julian Gutierrez et al
08-14-2020	Kernel Methods for Cooperative Multi-Agent Contextual Bandits by Abhimanyu Dubey et al
08-14-2020	Joint Policy Search for Multi-agent Collaboration with Imperfect Information by Yuandong Tian et al
08-12-2020	Equilibria for Games with Combined Qualitative and Quantitative Objectives by Julian Gutierrez et al
08-12-2020	Multi-Player Games with LDL Goals over Finite Traces by Julian Gutierrez et al
08-12-2020	REMAX: Relational Representation for Multi-Agent Exploration by Heechang Ryu et al
08-14-2020	Multi-Agent Deep Reinforcement Learning enabled Computation Resource Allocation in a Vehicular Cloud Network by Shilin Xu et al
08-11-2020	Analysis of Agricultural Policy Recommendations using Multi-Agent Systems by Satyandra Guthula et al
08-14-2020	Cooperative Multi-Agent Bandits with Heavy Tails by Abhimanyu Dubey et al
08-13-2020	Push-SAGA: A decentralized stochastic algorithm with variance reduction over directed graphs by Muhammad I. Qureshi et al
08-11-2020	SMT-based Safety Verification of Parameterised Multi-Agent Systems by Paolo Felli et al
08-13-2020	An In-Depth Analysis of Ride-Hailing Travel Using a Large-scale Trip-Based Dataset by Jianhe Du et al
08-12-2020	Distributed Gradient Flow: Nonsmoothness, Nonconvexity, and Saddle Point Evasion by Brian Swenson et al