International Conference on Automated Planning and Scheduling (ICAPSTask and Motion Policy Synthesis as Liveness Games Yue Wang and Neil T. Dantam and Swarat Chaudhuri and Lydia E. Kavraki Department of Computer

First Page		Document Content
Date: 2016-07-08 17:59:42 Theoretical computer science Robot kinematics Constraint programming NP-complete problems Motion planning Pursuit-evasion Satisfiability modulo theories Automated planning and scheduling Liveness		International Conference on Automated Planning and Scheduling (ICAPSTask and Motion Policy Synthesis as Liveness Games Yue Wang and Neil T. Dantam and Swarat Chaudhuri and Lydia E. Kavraki Department of Computer Add to Reading List Source URL: www.neil.dantam.name Download Document from Source Website File Size: 1,16 MB Share Document on Facebook

	Hearing Your Voice is Not Enough: An Articulatory Gesture Based Liveness Detection for Voice Authentication DocID: 1xUCB - View Document
	Scanning the Internet for Liveness Shehar Bano Philipp Richter Mobin Javed DocID: 1xTku - View Document
	Why Liveness for Timed Automata Is Hard, and What We Can Do About It∗ Frédéric Herbreteau1 , B. Srivathsan2 , Thanh-Tung Tran3 , and Igor Walukiewicz4 1 2 DocID: 1v8Ox - View Document
	Virtual U: Defeating Face Liveness Detection by Building Virtual Models from Your Public Photos Yi Xu, True Price, Jan-Michael Frahm, and Fabian Monrose, The University of North Carolina at Chapel Hill https://www.usenix DocID: 1uA9G - View Document
	Ch. 10 Avoiding Liveness Hazards JESPER PEDERSEN NOTANDER Liveness and Safety •  A liveness property, –  something good eventually happens. DocID: 1tPq5 - View Document