Calin Belta

	2012
71		Boyan Yordanov, Evan Appleton, Rishi Ganguly, Ebru Aydin Gol, Swati Banerjee Carr, Swapnil Bhatia, Traci Haddock, Calin Belta, Douglas Densmore: Experimentally driven verification of synthetic biological circuits. DATE 2012: 236-241
70		Calin Belta: Formal methods for dynamical systems. HSCC 2012: 3-4
69		Ebru Aydin Gol, Mircea Lazar, Calin Belta: Language-guided controller synthesis for discrete-time linear systems. HSCC 2012: 95-104
68		Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta: Robust Multi-Robot Optimal Path Planning with Temporal Logic Constraints CoRR abs/1202.1307: (2012)
67		Xu Chu Ding, Jing Wang, Morteza Lahijanian, Ioannis Ch. Paschalidis, Calin Belta: Temporal Logic Motion Control using Actor-Critic Methods CoRR abs/1202.2185: (2012)
66		Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus: Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents CoRR abs/1203.1180: (2012)
65		Xu Chu Ding, Mircea Lazar, Calin Belta: Receding Horizon Temporal Logic Control for Finite Deterministic Systems CoRR abs/1203.2860: (2012)
64		Ebru Aydin Gol, Calin Belta: Time-Constrained Temporal Logic Control of Multi-Affine Systems CoRR abs/1203.5683: (2012)
63		Xu Chu Ding, Mircea Lazar, Calin Belta: Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions CoRR abs/1203.6408: (2012)
62		Yushan Chen, Xu Chu Ding, Alin Stefanescu, Calin Belta: Formal Approach to the Deployment of Distributed Robotic Teams. IEEE Transactions on Robotics 28(1): 158-171 (2012)
61		Morteza Lahijanian, Sean B. Andersson, Calin Belta: Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees. IEEE Transactions on Robotics 28(2): 396-409 (2012)
	2011
60		Nicholas Cooper, Calin Belta, A. Agung Julius: Genetic regulatory network identification using multivariate monotone functions. CDC-ECE 2011: 2208-2213
59		Guilhem Richard, Hyeygjeon Chang, Igor Cizelj, Calin Belta, A. Agung Julius, Salomon Amar: Integration of large-scale metabolic, signaling, and gene regulatory networks with application to infection responses. CDC-ECE 2011: 2227-2232
58		Yushan Chen, Xu Chu Ding, Calin Belta: Synthesis of distributed control and communication schemes from global LTL specifications. CDC-ECE 2011: 2718-2723
57		Marius Kloetzer, Xu Chu Ding, Calin Belta: Multi-robot deployment from LTL specifications with reduced communication. CDC-ECE 2011: 4867-4872
56		Boyan Yordanov, Calin Belta: A formal verification approach to the design of synthetic gene networks. CDC-ECE 2011: 4873-4878
55		Xu Chu Ding, Stephen L. Smith, Calin Belta, Daniela Rus: MDP optimal control under temporal logic constraints. CDC-ECE 2011: 532-538
54		Reza Moazzez Estanjini, Xu Chu Ding, Morteza Lahijanian, Jing Wang, Calin Belta, Ioannis Ch. Paschalidis: Least squares temporal difference actor-critic methods with applications to robot motion control. CDC-ECE 2011: 704-709
53		Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta, Daniela Rus: Optimal multi-robot path planning with Temporal Logic constraints. IROS 2011: 3087-3092
52		A. I. Medina Ayala, Sean B. Andersson, Calin Belta: Temporal logic control in dynamic environments with probabilistic satisfaction guarantees. IROS 2011: 3108-3113
51		Igor Cizelj, Xu Chu Ding, Morteza Lahijanian, Alessandro Pinto, Calin Belta: Probabilistically Safe Vehicle Control in a Hostile Environment CoRR abs/1103.4065: (2011)
50		Xu Chu Ding, Stephen L. Smith, Calin Belta, Daniela Rus: MDP Optimal Control under Temporal Logic Constraints CoRR abs/1103.4342: (2011)
49		Xu Chu Ding, Stephen L. Smith, Calin Belta, Daniela Rus: LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees CoRR abs/1104.1159: (2011)
48		Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta, Daniela Rus: Optimal Multi-Robot Path Planning with Temporal Logic Constraints CoRR abs/1107.0062: (2011)
47		Marius Kloetzer, Xu Chu Ding, Calin Belta: Multi-robot Deployment From LTL Specifications with Reduced Communication CoRR abs/1108.3240: (2011)
46		Reza Moazzez Estanjini, Xu Chu Ding, Morteza Lahijanian, Jing Wang, Calin Belta, Ioannis Ch. Paschalidis: Least Squares Temporal Difference Actor-Critic Methods with Applications to Robot Motion Control CoRR abs/1108.4698: (2011)
45		Yushan Chen, Xu Chu Ding, Calin Belta: Synthesis of Distributed Control and Communication Schemes from Global LTL Specifications CoRR abs/1109.1251: (2011)
44		Boyan Yordanov, Calin Belta: A Formal Verification Approach to the Design of Synthetic Gene Networks CoRR abs/1109.1275: (2011)
43		Stephen L. Smith, Jana Tumova, Calin Belta, Daniela Rus: Optimal path planning for surveillance with temporal-logic constraints. I. J. Robotic Res. 30(14): 1695-1708 (2011)
	2010
42		Xu Chu Ding, Calin Belta, Christos G. Cassandras: Receding horizon surveillance with temporal logic specifications. CDC 2010: 256-261
41		Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Cerna, Jiri Barnat: A symbolic approach to controlling piecewise affine systems. CDC 2010: 4230-4235
40		Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Cerna, Jiri Barnat: Formal analysis of piecewise affine systems through formula-guided refinement. CDC 2010: 5899-5904
39		Morteza Lahijanian, Joseph Wasniewski, Sean B. Andersson, Calin Belta: Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees. ICRA 2010: 3227-3232
38		Marius Kloetzer, Sanjiv Itani, Sam Birch, Calin Belta: On the need for communication in distributed implementations of LTL motion specifications. ICRA 2010: 4451-4456
37		Stephen L. Smith, Jana Tumova, Calin Belta, Daniela Rus: Optimal path planning under temporal logic constraints. IROS 2010: 3288-3293
36		Yushan Chen, Sam Birch, Alin Stefanescu, Calin Belta: A hierarchical approach to automatic deployment of robotic teams with communication constraints. IROS 2010: 5079-5084
35		Stephen L. Smith, Jana Tumova, Calin Belta, Daniela Rus: Optimal Path Planning under Temporal Logic Constraints CoRR abs/1007.2212: (2010)
34		Marius Kloetzer, Cristian Mahulea, Calin Belta, Manuel Silva: An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Trans. Industrial Informatics 6(3): 460-471 (2010)
33		Marius Kloetzer, Calin Belta: Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications. IEEE Transactions on Robotics 26(1): 48-61 (2010)
	2009
32		Morteza Lahijanian, Sean B. Andersson, Calin Belta: A probabilistic approach for control of a stochastic system from LTL specifications. CDC 2009: 2236-2241
31		Boyan Yordanov, Calin Belta: Temporal logic control of discrete-time piecewise affine systems. CDC 2009: 3182-3187
30		Morteza Lahijanian, Marius Kloetzer, Sara Itani, Calin Belta, Sean B. Andersson: Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE). ICRA 2009: 2055-2060
	2008
29		Marius Kloetzer, Cristian Mahulea, Calin Belta, Laura Recalde, Manuel Silva: Formal analysis of timed continuous Petri nets. CDC 2008: 245-250
28		Marcin Imielinski, Niels Klitgord, Calin Belta: Investigating the genomic basis of metabolic robustness through in silico flux analysis. CDC 2008: 793-798
27		Marius Kloetzer, Calin Belta: Dealing with Nondeterminism in Symbolic Control. HSCC 2008: 287-300
26		Boyan Yordanov, Calin Belta: Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications. HSCC 2008: 542-555
25		Marius Kloetzer, Calin Belta: Distributed implementations of global temporal logic motion specifications. ICRA 2008: 393-398
24		Calin Belta: Robot Motion Planning. Wiley Encyclopedia of Computer Science and Engineering 2008
	2007
23		Grégory Batt, Calin Belta, Ron Weiss: Model Checking Genetic Regulatory Networks with Parameter Uncertainty. HSCC 2007: 61-75
22		Marius Kloetzer, Calin Belta: Managing non-determinism in symbolic robot motion planning and control. ICRA 2007: 3110-3115
21		Grégory Batt, Calin Belta, Ron Weiss: Model Checking Liveness Properties of Genetic Regulatory Networks. TACAS 2007: 323-338
20		Grégory Batt, Boyan Yordanov, Ron Weiss, Calin Belta: Robustness analysis and tuning of synthetic gene networks. Bioinformatics 23(18): 2415-2422 (2007)
19		Marius Kloetzer, Calin Belta: Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions. IEEE Transactions on Robotics 23(2): 320-330 (2007)
	2006
18		Marius Kloetzer, Calin Belta: A Fully Automated Framework for Control of Linear Systems from LTL Specifications. HSCC 2006: 333-347
17		Marius Kloetzer, Calin Belta: Reachability Analysis of Multi-affine Systems. HSCC 2006: 348-362
16		Marius Kloetzer, Calin Belta: Hierarchical Abstractions for Robotic Swarms. ICRA 2006: 952-957
15		Nathan Michael, Calin Belta, Vijay Kumar: Controlling three Dimensional Swarms of Robots. ICRA 2006: 964-969
14		Marius Kloetzer, Calin Belta: A Framework for Automatic Deployment of Robots in 2D and 3D Environments. IROS 2006: 953-958
	2005
13		Marcin Imielinski, Calin Belta, Ádám M. Halász, Harvey Rubin: Investigating metabolite essentiality through genome-scale analysis of Escherichia coli production capabilities. Bioinformatics 21(9): 2008-2016 (2005)
12		Calin Belta, Joel M. Esposito, Jongwoo Kim, Vijay Kumar: Computational Techniques for Analysis of Genetic Network Dynamics. I. J. Robotic Res. 24(2-3): 219-235 (2005)
11		Calin Belta, Volkan Isler, George J. Pappas: Discrete abstractions for robot motion planning and control in polygonal environments. IEEE Transactions on Robotics 21(5): 864-874 (2005)
	2004
10		Calin Belta, Peter Finin, Luc C. G. J. M. Habets, Ádám M. Halász, Marcin Imielinski, Vijay Kumar, Harvey Rubin: Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems. HSCC 2004: 111-125
9		Calin Belta: On Controlling Aircraft and Underwater Vehicles. ICRA 2004: 4905-4910
	2003
8		Calin Belta, Vijay Kumar: Abstraction and control for groups of fully-actuated planar robots. ICRA 2003: 2498-2503
7		Calin Belta, Guilherme A. S. Pereira, Vijay Kumar: Abstraction and Control for Swarms of Robots. ISRR 2003: 224-233
	2002
6		Rajeev Alur, Calin Belta, Franjo Ivancic, Vijay Kumar, Harvey Rubin, Jonathan Schug, Oleg Sokolsky, Jonathan Webb: Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks. HiPC 2002: 702-712
5		Calin Belta, Vijay Kumar: Trajectory Design for Formations of Robots by Kinetic Energy Shaping. ICRA 2002: 2593-2598
4		Calin Belta, Vijay R. Kumar: An SVD-based projection method for interpolation on SE(3). IEEE Transactions on Robotics 18(3): 334-345 (2002)
	2001
3		Rajeev Alur, Calin Belta, Franjo Ivancic: Hybrid Modeling and Simulation of Biomolecular Networks. HSCC 2001: 19-32
2		Calin Belta, Vijay Kumar: Motion Generation for Formations of Robots a Geometric Approach. ICRA 2001: 1245-1250
1		Calin Belta, Guoxiang Gu, Andrew G. Sparks, Siva Banda: Rotating stall control for axial flow compressors. Automatica 37(6): 921-931 (2001)

Coauthor Index

1	Rajeev Alur	[3] [6]
2	Salomon Amar	[59]
3	Sean B. Andersson	[30] [32] [39] [52] [61]
4	Evan Appleton	[71]
5	A. I. Medina Ayala	[52]
6	Siva Banda	[1]
7	Jiri Barnat	[40] [41]
8	Grégory Batt	[20] [21] [23]
9	Swapnil Bhatia	[71]
10	Sam Birch	[36] [38]
11	Swati Banerjee Carr	[71]
12	Christos G. Cassandras	[42]
13	Ivana Cerná (Ivana Cerna)	[40] [41]
14	Hyeygjeon Chang	[59]
15	Yushan Chen	[36] [45] [58] [62]
16	Igor Cizelj	[51] [59]
17	Nicholas Cooper	[60]
18	Douglas Densmore	[71]
19	Xu Chu Ding	[42] [45] [46] [47] [48] [49] [50] [51] [53] [54] [55] [57] [58] [62] [63] [65] [67] [68]
20	Joel M. Esposito	[12]
21	Reza Moazzez Estanjini	[46] [54]
22	Peter Finin	[10]
23	Emilio Frazzoli	[66]
24	Rishi Ganguly	[71]
25	Ebru Aydin Gol	[64] [69] [71]
26	Guoxiang Gu	[1]
27	Luc C. G. J. M. Habets	[10]
28	Traci Haddock	[71]
29	Ádám M. Halász	[10] [13]
30	Marcin Imielinski	[10] [13] [28]
31	Volkan Isler	[11]
32	Sanjiv Itani	[38]
33	Sara Itani	[30]
34	Franjo Ivancic	[3] [6]
35	A. Agung Julius	[59] [60]
36	Jongwoo Kim	[12]
37	Niels Klitgord	[28]
38	Marius Kloetzer	[14] [16] [17] [18] [19] [22] [25] [27] [29] [30] [33] [34] [38] [47] [57]
39	Vijay Kumar	[2] [5] [6] [7] [8] [10] [12] [15]
40	Vijay R. Kumar	[4]
41	Morteza Lahijanian	[30] [32] [39] [46] [51] [54] [61] [67]
42	Mircea Lazar	[63] [65] [69]
43	Cristian Mahulea	[29] [34]
44	Nathan Michael	[15]
45	George J. Pappas	[11]
46	Ioannis Ch. Paschalidis	[46] [54] [67]
47	Guilherme A. S. Pereira	[7]
48	Alessandro Pinto	[51]
49	Laura Recalde	[29]
50	Guilhem Richard	[59]
51	Harvey Rubin	[6] [10] [13]
52	Daniela Rus	[35] [37] [43] [48] [49] [50] [53] [55] [66]
53	Jonathan Schug	[6]
54	Manuel Silva	[29] [34]
55	Stephen L. Smith	[35] [37] [43] [48] [49] [50] [53] [55] [68]
56	Oleg Sokolsky	[6]
57	Andrew G. Sparks	[1]
58	Alin Stefanescu	[36] [62]
59	Jana Tumova	[35] [37] [40] [41] [43]
60	Alphan Ulusoy	[48] [53] [66] [68]
61	Jing Wang	[46] [54] [67]
62	Joseph Wasniewski	[39]
63	Jonathan Webb	[6]
64	Ron Weiss	[20] [21] [23]
65	Tichakorn Wongpiromsarn	[66]
66	Boyan Yordanov	[20] [26] [31] [40] [41] [44] [56] [71]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page