PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Belta, Calin"

Author of the publication

copydeleteadd this publication to your clipboard
Reactive Control Meets Runtime Verification: A Case Study of Navigation.

, and . CoRR, (2019)

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.

No persons found for author name Belta, Calin
add a person with the name Belta, Calin
 

Other publications of authors with the same name

Automatic Generation of Balletic Motions., , , and . ICCPS, page 13-21. IEEE Computer Society, (2011)Controlling a Class of Nonlinear Systems on Rectangles., and . IEEE Trans. Automat. Contr., 51 (11): 1749-1759 (2006)Control of noisy differential-drive vehicles from time-bounded temporal logic specifications., and . ICRA, page 2021-2026. IEEE, (2013)Hierarchical Abstractions for Robotic Swarms., and . ICRA, page 952-957. IEEE, (2006)Probabilistic control from time-bounded temporal logic specifications in dynamic environments., , and . ICRA, page 4705-4710. IEEE, (2012)Experimentally driven verification of synthetic biological circuits., , , , , , , , and . DATE, page 236-241. IEEE, (2012)Optimal receding horizon control for finite deterministic systems with temporal logic constraints., , and . ACC, page 4399-4404. IEEE, (2013)Robustness analysis and tuning of synthetic gene networks., , , and . Bioinformatics, 23 (18): 2415-2422 (2007)Robot Motion Planning.. Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games., , , , , and . HSCC, page 259-268. ACM, (2015)