Frank Imeson

16 papers A* 3C 1Journal 8Unranked 3

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Anytime Replanning of Robot Coverage Paths for Partially Unknown Environments. IEEE Trans. Robotics Megnath Ramesh, Frank Imeson, Baris Fidan, Stephen L. Smith
2024	—	`conf`	Approximate Environment Decompositions for Robot Coverage Planning using Submodular Set Cover. CDC Megnath Ramesh, Frank Imeson, Baris Fidan, Stephen L. Smith
2024	J	`jnl`	Approximate Environment Decompositions for Robot Coverage Planning using Submodular Set Cover. CoRR Megnath Ramesh, Frank Imeson, Baris Fidan, Stephen L. Smith
2023	J	`jnl`	Anytime Replanning of Robot Coverage Paths for Partially Unknown Environments. CoRR Megnath Ramesh, Frank Imeson, Baris Fidan, Stephen L. Smith
2022	J	`jnl`	Optimal Partitioning of Non-Convex Environments for Minimum Turn Coverage Planning. IEEE Robotics Autom. Lett. Megnath Ramesh, Frank Imeson, Baris Fidan, Stephen L. Smith
2021	J	`jnl`	Optimal Partitioning of Non-Convex Environments for Minimum Turn Coverage Planning. CoRR Megnath Ramesh, Frank Imeson, Baris Fidan, Stephen L. Smith
2019	J	`jnl`	An SMT-Based Approach to Motion Planning for Multiple Robots With Complex Constraints. IEEE Trans. Robotics Frank Imeson, Stephen L. Smith
2018	—	`—`	Robotic Path Planning for High-Level Tasks in Discrete Environments. Frank Imeson
2017	J	`jnl`	Clustering in Discrete Path Planning for Approximating Minimum Length Paths. CoRR Frank Imeson, Stephen L. Smith
2017	C	`conf`	Clustering in discrete path planning for approximating minimum length paths. ACC Frank Imeson, Stephen L. Smith
2017	J	`jnl`	GLNS: An effective large neighborhood search heuristic for the Generalized Traveling Salesman Problem. Comput. Oper. Res. Stephen L. Smith, Frank Imeson
2017	—	`conf`	The Need for Declarative Properties in Digital IC Security. ACM Great Lakes Symposium on VLSI Mohamed El Massad, Frank Imeson, Siddharth Garg, Mahesh Tripunitara
2016	—	`conf`	Non-Deterministic Timers for Hardware Trojan Activation (or How a Little Randomness Can Go the Wrong Way). WOOT Frank Imeson, Saeed Nejati, Siddharth Garg, Mahesh V. Tripunitara
2015	A*	`conf`	Multi-robot task planning and sequencing using the SAT-TSP language. ICRA Frank Imeson, Stephen L. Smith
2014	A*	`conf`	A language for robot path planning in discrete environments: The TSP with Boolean satisfiability constraints. ICRA Frank Imeson, Stephen L. Smith
2013	A*	`conf`	Securing Computer Hardware Using 3D Integrated Circuit (IC) Technology and Split Manufacturing for Obfuscation. USENIX Security Symposium Frank Imeson, Ariq Emtenan, Siddharth Garg, Mahesh V. Tripunitara