Frank Imeson

According to our database, Frank Imeson authored at least 12 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Anytime Replanning of Robot Coverage Paths for Partially Unknown Environments.

Megnath Ramesh, Frank Imeson, Baris Fidan, Stephen L. Smith

IEEE Trans. Robotics, 2024

Approximate Environment Decompositions for Robot Coverage Planning using Submodular Set Cover.

Megnath Ramesh, Frank Imeson, Baris Fidan, Stephen L. Smith

CoRR, 2024

2022

Optimal Partitioning of Non-Convex Environments for Minimum Turn Coverage Planning.

Megnath Ramesh, Frank Imeson, Baris Fidan, Stephen L. Smith

IEEE Robotics Autom. Lett., 2022

2019

An SMT-Based Approach to Motion Planning for Multiple Robots With Complex Constraints.

Frank Imeson, Stephen L. Smith

IEEE Trans. Robotics, 2019

2018

Robotic Path Planning for High-Level Tasks in Discrete Environments.

Frank Imeson

PhD thesis, 2018

2017

GLNS: An effective large neighborhood search heuristic for the Generalized Traveling Salesman Problem.

Stephen L. Smith, Frank Imeson

Comput. Oper. Res., 2017

The Need for Declarative Properties in Digital IC Security.

Mohamed El Massad, Frank Imeson, Siddharth Garg, Mahesh Tripunitara

Proceedings of the on Great Lakes Symposium on VLSI 2017, 2017

Clustering in discrete path planning for approximating minimum length paths.

Frank Imeson, Stephen L. Smith

Proceedings of the 2017 American Control Conference, 2017

2016

Non-Deterministic Timers for Hardware Trojan Activation (or How a Little Randomness Can Go the Wrong Way).

Frank Imeson, Saeed Nejati, Siddharth Garg, Mahesh V. Tripunitara

Proceedings of the 10th USENIX Workshop on Offensive Technologies, 2016

2015

Multi-robot task planning and sequencing using the SAT-TSP language.

Frank Imeson, Stephen L. Smith

Proceedings of the IEEE International Conference on Robotics and Automation, 2015

2014

A language for robot path planning in discrete environments: The TSP with Boolean satisfiability constraints.

Frank Imeson, Stephen L. Smith

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

2013

Securing Computer Hardware Using 3D Integrated Circuit (IC) Technology and Split Manufacturing for Obfuscation.

Frank Imeson, Ariq Emtenan, Siddharth Garg, Mahesh V. Tripunitara

Proceedings of the 22th USENIX Security Symposium, Washington, DC, USA, August 14-16, 2013, 2013