Sean Wilson

26 papers A* 2C 3Journal 17Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Survey on Small-Scale Testbeds for Connected and Automated Vehicles and Robot Swarms: A Guide for Creating a New Testbed [Survey].
IEEE Robotics Autom. Mag.
Armin Mokhtarian, Jianye Xu, Patrick Scheffe, Maximilian Kloock, Simon Schäfer, Heeseung Bang, Viet-Anh Le, Sangeet Sankaramangalam Ulhas, Johannes Betz, Sean Wilson, Spring Berman, Liam Paull, Amanda Prorok, Bassam Alrifaee
2025 — conf
Squat Quality User Assessment Through Artificial Intelligence: A User-Specific Approach.
ISMR
Brett J. Glenn, David Williams, Kevin W. Sexton, Joseph A. Sanford, Sean Wilson, Anthony L. Gunderman
2024 J jnl
A Survey on Small-Scale Testbeds for Connected and Automated Vehicles and Robot Swarms.
CoRR
Armin Mokhtarian, Jianye Xu, Patrick Scheffe, Maximilian Kloock, Simon Schäfer, Heeseung Bang, Viet-Anh Le, Sangeet Sankaramangalam Ulhas, Johannes Betz, Sean Wilson, Spring Berman, Liam Paull, Amanda Prorok, Bassam Alrifaee
2023 J jnl
Range Limited Coverage Control using Air-Ground Multi-Robot Teams.
CoRR
Max Rudolph, Sean Wilson, Magnus Egerstedt
2023 J jnl
The Design, Education and Evolution of a Robotic Baby.
IEEE Trans. Robotics
Hanqing Zhu, Sean Wilson, Eric Feron
2022 J jnl
Data-Driven Robust Barrier Functions for Safe, Long-Term Operation.
IEEE Trans. Robotics
Yousef Emam, Paul Glotfelter, Sean Wilson, Gennaro Notomista, Magnus Egerstedt
2021 J jnl
Data-Driven Robust Barrier Functions for Safe, Long-Term Operation.
CoRR
Yousef Emam, Paul Glotfelter, Sean Wilson, Gennaro Notomista, Magnus Egerstedt
2021 A* conf
Range Limited Coverage Control using Air-Ground Multi-Robot Teams.
ICRA
Max Rudolph, Sean Wilson, Magnus Egerstedt
2021 J jnl
The Robotarium: Automation of a Remotely Accessible, Multi-Robot Testbed.
IEEE Robotics Autom. Lett.
Sean Wilson, Paul Glotfelter, Siddharth Mayya, Gennaro Notomista, Yousef Emam, Xiaoyi Cai, Magnus Egerstedt
2020 J jnl
A Receding Horizon Scheduling Approach for Search & Rescue Scenarios.
CoRR
Yousef Emam, Sean Wilson, Mathias Hakenberg, Ulrich Münz, Magnus Egerstedt
2020 J jnl
Distributed Collision-Free Motion Coordination on a Sphere: A Conic Control Barrier Function Approach.
CoRR
Tatsuya Ibuki, Sean Wilson, Aaron D. Ames, Magnus Egerstedt
2020 J jnl
Distributed Collision-Free Motion Coordination on a Sphere: A Conic Control Barrier Function Approach.
IEEE Control. Syst. Lett.
Tatsuya Ibuki, Sean Wilson, Aaron D. Ames, Magnus Egerstedt
2020 A* conf
Multi-Agent Task Allocation using Cross-Entropy Temporal Logic Optimization.
ICRA
Christopher Banks, Sean Wilson, Samuel Coogan, Magnus Egerstedt
2020 J jnl
Optimization-Based Distributed Flocking Control for Multiple Rigid Bodies.
IEEE Robotics Autom. Lett.
Tatsuya Ibuki, Sean Wilson, Junya Yamauchi, Masayuki Fujita, Magnus Egerstedt
2019 J jnl
Closed-loop task allocation in robot swarms using inter-robot encounters.
Swarm Intell.
Siddharth Mayya, Sean Wilson, Magnus Egerstedt
2017 J jnl
A Probabilistic Approach to Automated Construction of Topological Maps Using a Stochastic Robotic Swarm.
IEEE Robotics Autom. Lett.
Ragesh K. Ramachandran, Sean Wilson, Spring Berman
2016 — conf
A Probabilistic Topological Approach to Feature Identification Using a Stochastic Robotic Swarm.
DARS
Ragesh K. Ramachandran, Sean Wilson, Spring Berman
2016 C conf
Confinement control of double integrators using partially periodic leader trajectories.
ACC
Karthik Elamvazhuthi, Sean Wilson, Spring Berman
2016 — conf
Decentralized sliding mode control for autonomous collective transport by multi-robot systems.
CDC
Hamed Farivarnejad, Sean Wilson, Spring Berman
2016 J jnl
Pheeno, A Versatile Swarm Robotic Research and Education Platform.
IEEE Robotics Autom. Lett.
Sean Wilson, Ruben Gameros, Michael Sheely, Matthew Lin, Kathryn Dover, Robert Gevorkyan, Matt Haberland, Andrea L. Bertozzi, Spring Berman
2015 J jnl
Confinement Control of Double Integrators using Partially Periodic Leader Trajectories.
CoRR
Karthik Elamvazhuthi, Sean Wilson, Spring Berman
2014 J jnl
Design of ant-inspired stochastic control policies for collective transport by robotic swarms.
Swarm Intell.
Sean Wilson, Theodore P. Pavlic, Ganesh P. Kumar, Aurélie Buffin, Stephen C. Pratt, Spring Berman
2013 C conf
An Enzyme-Inspired Approach to Stochastic Allocation of Robotic Swarms Around Boundaries.
ISRR
Theodore P. Pavlic, Sean Wilson, Ganesh P. Kumar, Spring Berman
2012 C conf
Diagrammatically-Driven Formal Verification of Web-Services Composition.
Diagrams
Petros Papapanagiotou, Jacques D. Fleuriot, Sean Wilson
2011 — —
Supporting dependently typed functional programming with proof automation and testing.
Sean Wilson
2010 J jnl
Automation for Dependently Typed Functional Programming.
Fundam. Informaticae
Sean Wilson, Jacques D. Fleuriot, Alan Smaill