Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations.
Bingzhuo Zhong (
Technical University of Munich), Abolfazl Lavaei (ETH Zurich), Majid Zamani (University of Colorado Boulder) and Marco Caccamo (Technical University of Munich)

Poster Abstract: Optimality and Stability in Two-Player Zero-Sum Hybrid Games.
Santiago Jimenez
Leudo (University of California, Santa Cruz) and Ricardo Sanfelice (University of California)

Poster Abstract: Learning from Demonstrations with Temporal Logics.
Aniruddh
Puranic (University of Southern California), Jyotirmoy Deshmukh (University of Southern California) and Stefanos Nikolaidis (University of Southern California)

Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives.
Anand Balakrishnan (University of Southern California), Stefan Jaksic (AIT Austrian Institute of Technology GmbH), Edgar Aguilar (AIT Austrian Institute of Technology GmbH), Dejan Nickovic (AIT Austrian Institute of Technology GmbH) and Jyotirmoy Deshmukh (University of Southern California)

Poster Abstract: Data-Driven Estimation of Collision Risks for Autonomous Vehicles with Formal Guarantees.
Abolfazl Lavaei (ETH Zurich), Luigi Di Lillo (Swiss Reinsurance Company), Margherita Atzei (Swiss Reinsurance Company), Andrea Censi (ETH Zurich) and Emilio Frazzoli (ETH Zurich)

Poster Abstract: Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.
Monal Narasimhamurthy (University of Colorado Boulder) and Sriram Sankaranarayanan (University of Colorado Boulder)