Author of the publication

Extended Abstract: Formal Design of Cooperative Multi-Agent Systems.

, , , and . AAAI Fall Symposia, AAAI Press, (2016)

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

Active Perception and Control From Temporal Logic Specifications., , and . IEEE Control. Syst. Lett., 3 (4): 1068-1073 (2019)Vector Autoregressive POMDP Model Learning and Planning for Human-Robot Collaboration., and . IEEE Control. Syst. Lett., 3 (3): 775-780 (2019)A novel robust color gradient estimator for photographic volume visualization., , , and . J. Vis., 21 (4): 637-647 (2018)VAUT: a visual analytics system of spatiotemporal urban topics in reviews., , , and . J. Vis., 21 (3): 471-484 (2018)Molecular dynamics simulations of ion solvation by flexible-boundary QM/MM: On-the-fly partial charge transfer between QM and MM subsystems., and . J. Comput. Chem., 35 (24): 1778-1788 (2014)Topology aware view path design for time-varying volume data., , , , and . J. Vis., 19 (4): 797-809 (2016)Automatic Trajectory Synthesis for Real-Time Temporal Logic., , and . CoRR, (2020)H∞ Control of Two-Time-Scale Markovian Switching Production-Inventory Systems., , and . IEEE Trans. Control. Syst. Technol., 26 (3): 1065-1073 (2018)PDE-Based Dynamic Density Estimation for Large-Scale Agent Systems., , and . IEEE Control. Syst. Lett., 5 (2): 541-546 (2021)Visual analytics of urban transportation from a bike-sharing and taxi perspective., , and . J. Vis., 23 (6): 1053-1070 (2020)