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

Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives., , , and . CoRR, (2020)Operator Strategy Model Development in UAV Hacking Detection., , , , and . IEEE Trans. Hum. Mach. Syst., 49 (6): 540-549 (2019)Model-Based Design of Closed Loop Deep Brain Stimulation Controller using Reinforcement Learning., , , , , , and . ICCPS, page 108-118. IEEE, (2020)Attack-Resilient State Estimation with Intermittent Data Authentication., and . CoRR, (2020)Safety-critical medical device development using the UPP2SF model translation tool., , , , and . ACM Trans. Embed. Comput. Syst., 13 (4s): 127:1-127:26 (2014)Closed-loop verification of medical devices with model abstraction and refinement., , , and . Int. J. Softw. Tools Technol. Transf., 16 (2): 191-213 (2014)Reinforcement Learning with Temporal Logic Constraints for Partially-Observable Markov Decision Processes., , and . CoRR, (2021)High Dimensional Geometry and Limitations in System Identification., and . CoRR, (2023)An optimal graph-search method for secure state estimation., , and . Autom., (2021)Attack-resilient minimum mean-squared error estimation., , , , and . ACC, page 1114-1119. IEEE, (2014)