37 citations · 151 across the 85 of their papers we have counts for
Showing 2019 · math.OCShow all
3 papers · 2 filters
math.OC2019
Guaranteed Reachability for Systems with Unknown Dynamics
Melkior Ornik
The problem of computing the reachable set for a given system is a quintessential question in nonlinear control theory. While previous work has yielded a plethora of approximate an…
math.OC2019
Incentive Design for Temporal Logic Objectives
Yagiz Savas, Vijay Gupta, Melkior Ornik +2
We study the problem of designing an optimal sequence of incentives that a principal should offer to an agent so that the agent's optimal behavior under the incentives realizes the…
math.OC2019★ 24 cited
Deception in Supervisory Control
Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu
The use of deceptive strategies is important for an agent that attempts not to reveal his intentions in an adversarial environment. We consider a setting in which a supervisor prov…