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

A POMDP Model for Safe Geological Carbon Sequestration., , , , and . CoRR, (2022)Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System., , and . ICAA, page 34-43. IEEE, (2023)Transfer Learning for Efficient Iterative Safety Validation., and . AAAI, page 7125-7132. AAAI Press, (2021)Risk-Driven Design of Perception Systems., , , , , and . NeurIPS, (2022)Model-based Validation as Probabilistic Inference., , and . L4DC, volume 211 of Proceedings of Machine Learning Research, page 825-837. PMLR, (2023)Verifying Inverse Model Neural Networks., , , and . CoRR, (2022)Adaptive Stress Testing with Reward Augmentation for Autonomous Vehicle Validation., , , and . CoRR, (2019)Reflections from the Workshop on AI-Assisted Decision Making for Conservation., , , , , , , , , and 14 other author(s). CoRR, (2023)Will the Home Team Win? On the Road to 1.5 Billion Tweets and Six Thousand Baseball Games Providing Insight!!!, and . AMCIS, Association for Information Systems, (2022)Online Planning for Constrained POMDPs with Continuous Spaces through Dual Ascent., , and . ICAPS, page 198-202. AAAI Press, (2023)