کتابخانه دیجیتال دانشگاه شهید چمران اهواز: Browsing HannanDL

مرور بر اساس تاریخ انتشار Ufuk Topcu

Showing results 1 to 6 of 6

Issue Date	Title	Contributor(s)
2016	Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems	*Tichakorn Wongpiromsarn; Ufuk Topcu; Andrew Lamperski*
2017	Differentially Private Distributed Constrained Optimization	*Shuo Han; Ufuk Topcu; George J. Pappas*
2017	Distributed Charging Control of Electric Vehicles Using Online Learning	*Wann-Jiun Ma; Vijay Gupta; Ufuk Topcu*
2016	Synthesis of Human-in-the-Loop Control Protocols for Autonomous Systems	*Lu Feng; Clemens Wiltsche; Laura Humphrey; Ufuk Topcu*
2016	Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints	*Jie Fu; Ufuk Topcu*
2016	Synthesis of Shared Autonomy Policies <?Pub _newline ?>With Temporal Logic Specifications	*Jie Fu; Ufuk Topcu*

Showing results 1 to 6 of 6