PaperMetrixEvidence-aware discovery
TR
Interface language English EN العربية AR Türkçe TR
Create account
Researcher profile

Michael M. Zavlanos

2 papers in the PaperMetrix corpus

Publications

Papers by this author

  1. Transfer Reinforcement Learning under Unobserved Contextual Information

    2020

    In this paper, we study a transfer reinforcement learning problem where the state transitions and rewards are affected by the environmental context. Specifically, we consider a demonstrator agent that has access to a context-aware policy …

  2. Formal Verification of Stochastic Systems with ReLU Neural Network Controllers

    2021 · arXiv (Cornell University)

    In this work, we address the problem of formal safety verification for stochastic cyber-physical systems (CPS) equipped with ReLU neural network (NN) controllers. Our goal is to find the set of initial states from where, …