7 citations · 19 across the 11 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.OC2018★ 1 cited
Affine Multiplexing Networks: System Analysis, Learning, and Computation
Ivan Papusha, Ufuk Topcu, Steven Carr +1
We introduce a novel architecture and computational framework for formal, automated analysis of systems with a broad set of nonlinearities in the feedback loop, such as neural netw…
cs.AI2018
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes
Steven Carr, Nils Jansen, Ralf Wimmer +2
We study planning problems where autonomous agents operate inside environments that are subject to uncertainties and not fully observable. Partially observable Markov decision proc…