Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions., , , and . CDC, page 790-795. IEEE, (2020)Risk-Sensitive Motion Planning using Entropic Value-at-Risk., , and . ECC, page 1726-1732. IEEE, (2021)Constrained Risk-Averse Markov Decision Processes., , , , and . AAAI, page 11718-11725. AAAI Press, (2021)Robust Stability Analysis of Nonlinear Switched Systems with Filippov Solutions., , , and . ROCOND, page 288-293. International Federation of Automatic Control, (2012)Semi-definite programming and functional inequalities for distributed parameter systems., , and . CDC, page 4304-4309. IEEE, (2014)Controller synthesis for stochastic systems with persistent noise via semi-definite programming., and . CDC, page 4546-4551. IEEE, (2016)Barrier Certificates for Assured Machine Teaching., , , , and . CoRR, (2018)Time-Optimal Navigation in Uncertain Environments with High-Level Specifications., , , and . CDC, page 4287-4294. IEEE, (2021)Entropy-Regularized Stochastic Games., , , and . CDC, page 5955-5962. IEEE, (2019)Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes., , , and . ACC, page 1216-1223. IEEE, (2019)