Author of the publication

Policy Synthesis for Switched Linear Systems With Markov Decision Process Switching.

, , , , and . IEEE Trans. Autom. Control., 68 (1): 532-539 (2023)

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

Task-Guided IRL in POMDPs that Scales., , , , and . CoRR, (2023)Scenario-Based Verification of Uncertain MDPs., , , , and . TACAS (1), volume 12078 of Lecture Notes in Computer Science, page 287-305. Springer, (2020)Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization., , and . CDC, page 1750-1757. IEEE, (2020)Scenario-based verification of uncertain parametric MDPs., , , , , and . Int. J. Softw. Tools Technol. Transf., 24 (5): 803-819 (2022)Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints., , , , and . IEEE Trans. Autom. Control., 65 (4): 1552-1567 (2020)Policy Synthesis for Switched Linear Systems With Markov Decision Process Switching., , , , and . IEEE Trans. Autom. Control., 68 (1): 532-539 (2023)Verifiable and Compositional Reinforcement Learning Systems., , , and . CoRR, (2021)Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach., , , and . CoRR, (2021)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)Robust Finite-State Controllers for Uncertain POMDPs., , , , , and . AAAI, page 11792-11800. AAAI Press, (2021)