Sean Sedwards

University of Waterloo — Canada

Computer Science · Physical Sciences

18h-index1.1kcitations85works1.52yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(40), Software Reliability and Analysis Research(25), Machine Learning and Algorithms(14), Software Testing and Debugging Techniques(12), Petri Nets in System Modeling(9)

Publications85 total

HAWAII: Hierarchical Visual Knowledge Transfer for Efficient Vision-Language Models
arXiv (Cornell University)·2025Open Access
How Hard is Snow? A Paired Domain Adaptation Dataset for Clear and Snowy Weather: CADC+
2025· 1 cited
LEO-MINI: An Efficient Multimodal Large Language Model using Conditional Token Reduction and Mixture of Multi-Modal Experts
arXiv (Cornell University)·2025Open Access
VADet: Multi-Frame LiDAR 3D Object Detection Using Variable Aggregation
2025
Mitigating the Modality Gap: Few-Shot Out-of-Distribution Detection with Multi-modal Prototypes and Image Bias Estimation
arXiv (Cornell University)·2025Open Access
LEO-MINI: An Efficient Multimodal Large Language Model using Conditional Token Reduction and Mixture of Multi-Modal Experts
2025Open Access
VADet: Multi-frame LiDAR 3D Object Detection using Variable Aggregation
arXiv (Cornell University)·2024Open Access
3D Object Detection with Track-Based Auto-Labelling Using Very Sparsely Labelled Data
2024· 1 cited
Estimating Rewards & Rare Events in Nondeterministic Systems
HAL (Le Centre pour la Communication Scientifique Directe)·2024· 8 citedOpen Access
SOAP: Cross-sensor Domain Adaptation for 3D Object Detection Using Stationary Object Aggregation Pseudo-labelling
arXiv (Cornell University)·2024Open Access
SOAP: Cross-sensor Domain Adaptation for 3D Object Detection Using Stationary Object Aggregation Pseudo-labelling
2024· 7 cited
Uniformly constrained reinforcement learning
Autonomous Agents and Multi-Agent Systems·2023· 3 cited
Time-Staging Enhancement of Hybrid System Falsification
Electronic Proceedings in Theoretical Computer Science·2022· 2 citedOpen Access
A Hierarchical Pedestrian Behavior Model to Generate Realistic Human Behavior in Traffic Simulation
2022 IEEE Intelligent Vehicles Symposium (IV)·2022· 4 citedOpen Access
A Hierarchical Pedestrian Behavior Model to Generate Realistic Human Behavior in Traffic Simulation
arXiv (Cornell University)·2022Open Access
Recursive Constraints to Prevent Instability in Constrained Reinforcement Learning
arXiv (Cornell University)·2022· 2 citedOpen Access
A Rule-Based Behaviour Planner for Autonomous Driving
Lecture notes in computer science·2022· 11 citedOpen Access
Non-divergent Imitation for Verification of Complex Learned Controllers
2021· 1 cited
Falsification of Hybrid Systems Using Adaptive Probabilistic Search
ACM Transactions on Modeling and Computer Simulation·2021· 23 cited
Transfer Reinforcement Learning for Autonomous Driving
ACM Transactions on Modeling and Computer Simulation·2021· 8 cited
page 1 of 5Next →

Frequent Co-authors

Axel Legay(19), Krzysztof Czarnecki(9), Ichiro Hasuo(8), Pedro R. D’Argenio(7), Louis‐Marie Traonouez(7), Gidon Ernst(6), Arnd Hartmanns(6), Zhenya Zhang(5), Jaeyoung Lee(5), Cyrille Jégourel(4), Luigi Palopoli(4), Alessio Colombo(4), Daniele Fontanelli(4), Matteo Cavaliere(4), Axel Legay(3), Attila Csikász‐Nagy(3), Ashish Gaurav(3), Cyrille Jégourel(2), Paolo Arcaini(2), Carlos E. Budde(2)