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 Specification and Synthesis of Mission Plans for Unmanned Aerial Vehicles., , and . AAAI Spring Symposia, AAAI Press, (2014)Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes., , , and . CoRR, (2018)Closed-Loop Statistical Verification of Stochastic Nonlinear Systems Subject to Parametric Uncertainties., , , and . CoRR, (2017)Control Theory Meets POMDPs: A Hybrid Systems Approach., , , and . CoRR, (2019)Towards online monitoring and data-driven control: a study of segmentation algorithms for infrared images of the powder bed., , , and . CoRR, (2020)Automaton-guided controller synthesis for nonlinear systems with temporal logic., , and . IROS, page 4332-4339. IEEE, (2013)Reinforcement Learning with Temporal-Logic-Based Causal Diagrams., , , , , , , and . CD-MAKE, volume 14065 of Lecture Notes in Computer Science, page 123-140. Springer, (2023)Barrier Certificates for Assured Machine Teaching., , , , and . ACC, page 3658-3663. IEEE, (2019)Information-Guided Temporal Logic Inference with Prior Knowledge., , , and . ACC, page 1891-1897. IEEE, (2019)On-The-Fly Control of Unknown Smooth Systems from Limited Data., , , , and . ACC, page 3656-3663. IEEE, (2021)