default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSean Wilson
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2011
[b1]Sean Wilson:
Supporting dependently typed functional programming with proof automation and testing. University of Edinburgh, UK, 2011
Journal Articles
- 2023
- [j10]Hanqing Zhu
, Sean Wilson, Eric Feron:
The Design, Education and Evolution of a Robotic Baby. IEEE Trans. Robotics 39(3): 2488-2507 (2023) - 2022
- [j9]Yousef Emam, Paul Glotfelter, Sean Wilson, Gennaro Notomista, Magnus Egerstedt:
Data-Driven Robust Barrier Functions for Safe, Long-Term Operation. IEEE Trans. Robotics 38(3): 1671-1685 (2022) - 2021
- [j8]Sean Wilson, Paul Glotfelter, Siddharth Mayya, Gennaro Notomista, Yousef Emam, Xiaoyi Cai, Magnus Egerstedt:
The Robotarium: Automation of a Remotely Accessible, Multi-Robot Testbed. IEEE Robotics Autom. Lett. 6(2): 2922-2929 (2021) - 2020
- [j7]Tatsuya Ibuki, Sean Wilson, Aaron D. Ames, Magnus Egerstedt:
Distributed Collision-Free Motion Coordination on a Sphere: A Conic Control Barrier Function Approach. IEEE Control. Syst. Lett. 4(4): 976-981 (2020) - [j6]Tatsuya Ibuki, Sean Wilson, Junya Yamauchi, Masayuki Fujita, Magnus Egerstedt:
Optimization-Based Distributed Flocking Control for Multiple Rigid Bodies. IEEE Robotics Autom. Lett. 5(2): 1891-1898 (2020) - 2019
- [j5]Siddharth Mayya, Sean Wilson, Magnus Egerstedt:
Closed-loop task allocation in robot swarms using inter-robot encounters. Swarm Intell. 13(2): 115-143 (2019) - 2017
- [j4]Ragesh K. Ramachandran, Sean Wilson, Spring Berman:
A Probabilistic Approach to Automated Construction of Topological Maps Using a Stochastic Robotic Swarm. IEEE Robotics Autom. Lett. 2(2): 616-623 (2017) - 2016
- [j3]Sean Wilson, Ruben Gameros, Michael Sheely, Matthew Lin, Kathryn Dover, Robert Gevorkyan, Matt Haberland, Andrea L. Bertozzi, Spring Berman:
Pheeno, A Versatile Swarm Robotic Research and Education Platform. IEEE Robotics Autom. Lett. 1(2): 884-891 (2016) - 2014
- [j2]Sean Wilson, Theodore P. Pavlic, Ganesh P. Kumar, Aurélie Buffin, Stephen C. Pratt, Spring Berman:
Design of ant-inspired stochastic control policies for collective transport by robotic swarms. Swarm Intell. 8(4): 303-327 (2014) - 2010
- [j1]Sean Wilson, Jacques D. Fleuriot, Alan Smaill:
Automation for Dependently Typed Functional Programming. Fundam. Informaticae 102(2): 209-228 (2010)
Conference and Workshop Papers
- 2021
- [c7]Max Rudolph, Sean Wilson, Magnus Egerstedt:
Range Limited Coverage Control using Air-Ground Multi-Robot Teams. ICRA 2021: 3525-3530 - 2020
- [c6]Christopher Banks, Sean Wilson, Samuel Coogan, Magnus Egerstedt:
Multi-Agent Task Allocation using Cross-Entropy Temporal Logic Optimization. ICRA 2020: 7712-7718 - 2016
- [c5]Karthik Elamvazhuthi, Sean Wilson, Spring Berman:
Confinement control of double integrators using partially periodic leader trajectories. ACC 2016: 5537-5544 - [c4]Hamed Farivarnejad, Sean Wilson, Spring Berman:
Decentralized sliding mode control for autonomous collective transport by multi-robot systems. CDC 2016: 1826-1833 - [c3]Ragesh K. Ramachandran, Sean Wilson, Spring Berman:
A Probabilistic Topological Approach to Feature Identification Using a Stochastic Robotic Swarm. DARS 2016: 3-16 - 2013
- [c2]Theodore P. Pavlic, Sean Wilson, Ganesh P. Kumar, Spring Berman:
An Enzyme-Inspired Approach to Stochastic Allocation of Robotic Swarms Around Boundaries. ISRR 2013: 631-647 - 2012
- [c1]Petros Papapanagiotou, Jacques D. Fleuriot, Sean Wilson:
Diagrammatically-Driven Formal Verification of Web-Services Composition. Diagrams 2012: 241-255
Informal and Other Publications
- 2024
- [i6]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:
A Survey on Small-Scale Testbeds for Connected and Automated Vehicles and Robot Swarms. CoRR abs/2408.14199 (2024) - 2023
- [i5]Max Rudolph, Sean Wilson, Magnus Egerstedt:
Range Limited Coverage Control using Air-Ground Multi-Robot Teams. CoRR abs/2306.07385 (2023) - 2021
- [i4]Yousef Emam, Paul Glotfelter, Sean Wilson, Gennaro Notomista, Magnus Egerstedt:
Data-Driven Robust Barrier Functions for Safe, Long-Term Operation. CoRR abs/2104.07592 (2021) - 2020
- [i3]Tatsuya Ibuki, Sean Wilson, Aaron D. Ames, Magnus Egerstedt:
Distributed Collision-Free Motion Coordination on a Sphere: A Conic Control Barrier Function Approach. CoRR abs/2003.13363 (2020) - [i2]Yousef Emam, Sean Wilson, Mathias Hakenberg, Ulrich Münz, Magnus Egerstedt:
A Receding Horizon Scheduling Approach for Search & Rescue Scenarios. CoRR abs/2004.02347 (2020) - 2015
- [i1]Karthik Elamvazhuthi, Sean Wilson, Spring Berman:
Confinement Control of Double Integrators using Partially Periodic Leader Trajectories. CoRR abs/1510.00109 (2015)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-30 00:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
