Author of the publication

Distributed Transient Safety Verification via Robust Control Invariant Sets: A Microgrid Application.

, , , and . ACC, page 2202-2207. IEEE, (2022)

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

Information-Guided Temporal Logic Inference with Prior Knowledge., , , and . CoRR, (2018)Efficient Strategy Synthesis for MDPs with Resource Constraints., , , , and . CoRR, (2021)Safety-Guaranteed, Accelerated Learning in MDPs with Local Side Information., and . ACC, page 1099-1104. IEEE, (2020)Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption., , , , , and . FM, volume 13047 of Lecture Notes in Computer Science, page 640-656. Springer, (2021)Explorative Probabilistic Planning with Unknown Target Locations., and . CDC, page 2732-2737. IEEE, (2020)A topological obstruction to reach control by continuous state feedback., and . CDC, page 2258-2263. IEEE, (2015)Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints., , , , and . IEEE Trans. Autom. Control., 65 (4): 1552-1567 (2020)Hallucination Detection in Foundation Models for Decision-Making: A Flexible Definition and Review of the State of the Art., , and . CoRR, (2024)Robust Myopic Control for Systems with Imperfect Observations., , and . CoRR, (2018)Least Inferable Policies for Markov Decision Processes., , and . ACC, page 1224-1231. IEEE, (2019)