Author of the publication

Synthesis of Reactive Switching Protocols From Temporal Logic Specifications.

, , , and . IEEE Trans. Autom. Control., 58 (7): 1771-1785 (2013)

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

Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication, , and . CoRR, (2012)Pareto efficiency in synthesizing shared autonomy policies with temporal logic constraints., and . CoRR, (2014)Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints., , , and . CoRR, (2018)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)Safely: Safe Stochastic Motion Planning Under Constrained Sensing via Duality., , , and . IEEE Trans. Robotics, 39 (5): 3464-3478 (October 2023)Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions., , , , , , and . IEEE Trans. Autom. Control., 66 (3): 1040-1054 (2021)Policy Synthesis for Switched Linear Systems With Markov Decision Process Switching., , , , and . IEEE Trans. Autom. Control., 68 (1): 532-539 (2023)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)Efficient Strategy Synthesis for MDPs with Resource Constraints., , , , and . CoRR, (2021)