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

Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise., , , , , and . CoRR, (2021)Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty., , , and . AAAI, page 14701-14710. AAAI Press, (2023)Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions., , , and . FMAS@iFM, volume 395 of EPTCS, page 144-152. (2023)Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty., , , and . CoRR, (2021)Sampling-Based Verification of CTMCs with Uncertain Rates., , , , and . CoRR, (2022)Decision-Making Under Uncertainty: Beyond Probabilities., , , and . CoRR, (2023)Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics., , , , and . CoRR, (2022)Buildings-to-Grid Integration with High Wind Power Penetration., , and . CDC, page 2976-2981. IEEE, (2019)Efficient Sensitivity Analysis for Parametric Robust Markov Chains., , , , and . CoRR, (2023)Scenario-based verification of uncertain parametric MDPs., , , , , and . Int. J. Softw. Tools Technol. Transf., 24 (5): 803-819 (2022)