Author of the publication

Rigorous uncertainty quantification without integral testing.

, , , and . Reliab. Eng. Syst. Saf., 96 (9): 1085-1091 (2011)

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

Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints., , , and . CoRR, (2018)Pareto efficiency in synthesizing shared autonomy policies with temporal logic constraints., and . CoRR, (2014)Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication, , and . CoRR, (2012)Extrapolated Proportional-Integral Projected Gradient Method for Conic Optimization., , , and . IEEE Control. Syst. Lett., (2023)Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical Considerations., , , and . CoRR, (2020)Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints., , , , and . IEEE Trans. Autom. Control., 65 (4): 1552-1567 (2020)Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach., , , and . IEEE Trans. Autom. Control., 68 (4): 2245-2260 (2023)Fairness with Dynamics., , and . CoRR, (2019)Submodular Observation Selection and Information Gathering for Quadratic Models., , , and . ICML, volume 97 of Proceedings of Machine Learning Research, page 2653-2662. PMLR, (2019)Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions., , , , , , and . IEEE Trans. Autom. Control., 66 (3): 1040-1054 (2021)