From post

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.

 

Другие публикации лиц с тем же именем

Probabilistically Safe Vehicle Control in a Hostile Environment, , , , и . CoRR, (2011)Reinforcement Learning With Temporal Logic Rewards., , и . CoRR, (2016)Formal Methods for Control Synthesis: An Optimization Perspective., и . Annu. Rev. Control. Robotics Auton. Syst., (2019)Semi-supervised pattern synthesis in spatially distributed dynamical systems., , , и . ACC, стр. 2530-2535. IEEE, (2017)Retroactivity Affects the Adaptive Robustness of Transcriptional Regulatory Networks., и . ACC, стр. 5396-5401. IEEE, (2019)Receding horizon robot control in partially unknown environments with temporal logic constraints., и . ECC, стр. 2614-2619. IEEE, (2016)Formal analysis of timed continuous Petri nets., , , , и . CDC, стр. 245-250. IEEE, (2008)Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization., , и . CDC, стр. 5226-5231. IEEE, (2022)CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications., , , и . L4DC, том 211 из Proceedings of Machine Learning Research, стр. 705-717. PMLR, (2023)Probabilistic control from time-bounded temporal logic specifications in dynamic environments., , и . ICRA, стр. 4705-4710. IEEE, (2012)