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.

 

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

Reinforcement Learning With Temporal Logic Rewards., , и . CoRR, (2016)Formal Methods for Control Synthesis: An Optimization Perspective., и . Annu. Rev. Control. Robotics Auton. Syst., (2019)Distributed information gathering policies under temporal logic constraints., , , и . CDC, стр. 6803-6808. IEEE, (2015)Probabilistically Safe Vehicle Control in a Hostile Environment, , , , и . CoRR, (2011)Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents., , , , и . IROS, стр. 229-236. IEEE, (2012)Model predictive control of urban traffic networks with temporal logic constraints., и . ACC, стр. 881. IEEE, (2016)Control of noisy differential-drive vehicles from time-bounded temporal logic specifications., и . ICRA, стр. 2021-2026. IEEE, (2013)Probabilistic control from time-bounded temporal logic specifications in dynamic environments., , и . ICRA, стр. 4705-4710. IEEE, (2012)Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games., , , , , и . HSCC, стр. 259-268. ACM, (2015)Formal analysis of timed continuous Petri nets., , , , и . CDC, стр. 245-250. IEEE, (2008)