Optimal multi-robot path planning with Temporal Logic constraints. - Alphan Ulusoy; Stephen L. Smith 001; Xu Chu Ding; Calin Belta; Daniela Rus (IROS, 2011)

Wireless Model-Based Predictive Networked Control System Over Cooperative Wireless Network. - Alphan Ulusoy; Özgür Gürbüz; Ahmet Onat (IEEE Trans. Ind. Informatics, 2011)

Incremental control synthesis in probabilistic environments with Temporal Logic constraints. - Alphan Ulusoy; Tichakorn Wongpiromsarn; Calin Belta (CDC, 2012)

Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness through Synchronization. - Alphan Ulusoy; Stephen L. Smith 001; Calin Belta (DARS, 2012)

Robust multi-robot optimal path planning with temporal logic constraints. - Alphan Ulusoy; Stephen L. Smith 001; Xu Chu Ding; Calin Belta (ICRA, 2012)

Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents. - Tichakorn Wongpiromsarn; Alphan Ulusoy; Calin Belta; Emilio Frazzoli; Daniela Rus (IROS, 2012)

Estimating the channel capacity of multi-hop IEEE 802.11 wireless networks. - Yunus Sarikaya; Ismail Cem Atalay; Özgür Gürbüz; Özgür Erçetin; Alphan Ulusoy (Ad Hoc Networks, 2012)

Wireless Model Based Predictive Networked Control System over IEEE 802.15.4. - Alphan Ulusoy; Ahmet Onat; Özgür Gürbüz (DCOSS, 2013)

Temporal logic control for an autonomous quadrotor in a nondeterministic environment. - Alphan Ulusoy; Michael Marrazzo; Konstantinos Oikonomopoulos; Ryan Hunter; Calin Belta (ICRA, 2013)

Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications. - Tichakorn Wongpiromsarn; Alphan Ulusoy; Calin Belta; Emilio Frazzoli; Daniela Rus (ICRA, 2013)

Receding Horizon Control in Dynamic Environments from Temporal Logic Specifications. - Alphan Ulusoy; Michael Marrazzo; Calin Belta (Robotics: Science and Systems, 2013)

Temporal logic robot control based on automata learning of environmental dynamics. - Yushan Chen; Jana Tumova; Alphan Ulusoy; Calin Belta (Int. J. Robotics Res., 2013)

Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints. - Alphan Ulusoy; Stephen L. Smith 001; Xu Chu Ding; Calin Belta; Daniela Rus (Int. J. Robotics Res., 2013)

Soft-landing control by control invariance and receding horizon control. - Stefano Di Cairano; Alphan Ulusoy; S. Haghighat (ACC, 2014)

Receding horizon temporal logic control in dynamic environments. - Alphan Ulusoy; Calin Belta (Int. J. Robotics Res., 2014)

Incremental controller synthesis in probabilistic environments with temporal logic constraints. - Alphan Ulusoy; Tichakorn Wongpiromsarn; Calin Belta (Int. J. Robotics Res., 2014)