( en | de | ru )

 

Disambiguation of "Belta, Calin"

Author of the publication

copydeleteadd this publication to your clipboard
Control in belief space with Temporal Logic specifications.

, , , , , and . CDC, page 7419-7424. IEEE, (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.

Calin Purcarea

Katharina Calinski

Oliviana Sabina Calin

Gerhart Calinich

Georgel Calin

 

Other publications of authors with the same name

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