| 2026 | WACV | Mitigating the Modality Gap: Few-Shot Out-of-Distribution Detection with Multi-modal Prototypes and Image Bias Estimation. | Yimu Wang, Evelien Riddell, Adrian Chow, Sean Sedwards, Krzysztof Czarnecki |
| 2025 | EMNLP | LEO-MINI: An Efficient Multimodal Large Language Model using Conditional Token Reduction and Mixture of Multi-Modal Experts. | Yimu Wang, Mozhgan Nasr Azadani, Sean Sedwards, Krzysztof Czarnecki |
| 2025 | ICCV | OV-SCAN: Semantically Consistent Alignment for Novel Object Discovery in Open-Vocabulary 3D Object Detection. | Adrian Chow, Evelien Riddell, Yimu Wang, Sean Sedwards, Krzysztof Czarnecki |
| 2025 | WACV | VADet: Multi-Frame LiDAR 3D Object Detection Using Variable Aggregation. | Chengjie Huang, Vahdat Abdelzad, Sean Sedwards, Krzysztof Czarnecki |
| 2024 | WACV | SOAP: Cross-sensor Domain Adaptation for 3D Object Detection Using Stationary Object Aggregation Pseudo-labelling. | Chengjie Huang, Vahdat Abdelzad, Sean Sedwards, Krzysztof Czarnecki |
| 2021 | IJCNN | Non-divergent Imitation for Verification of Complex Learned Controllers. | Vahdat Abdelzad, Jaeyoung Lee, Sean Sedwards, Soheil Soltani, Krzysztof Czarnecki |
| 2020 | AAAI | Simple Continual Learning Strategies for Safer Classifers. | Ashish Gaurav, Sachin Vernekar, Jaeyoung Lee, Vahdat Abdelzad, Krzysztof Czarnecki, Sean Sedwards |
| 2020 | AAAI | PURSS: Towards Perceptual Uncertainty Aware Responsibility Sensitive Safety with ML. | Rick Salay, Krzysztof Czarnecki, Maria Soledad Elli, Ignacio J. Alvarez, Sean Sedwards, Jack Weast |
| 2020 | IJCNN | Improved Policy Extraction via Online Q-Value Distillation. | Aman Jhunjhunwala, Jaeyoung Lee, Sean Sedwards, Vahdat Abdelzad, Krzysztof Czarnecki |
| 2019 | ATVA | Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs. | Manfred Jaeger, Peter Gjl Jensen, Kim Guldstrand Larsen, Axel Legay, Sean Sedwards, Jakob Haahr Taankvist |
| 2019 | RV | Accelerated Learning of Predictive Runtime Monitors for Rare Failure. | Reza Babaee, Vijay Ganesh, Sean Sedwards |
| 2018 | FOSSACS | A Hierarchy of Scheduler Classes for Stochastic Automata. | Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards |
| 2018 | ISoLA | Lightweight Statistical Model Checking in Nondeterministic Continuous Time. | Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards |
| 2018 | TACAS | A Statistical Model Checker for Nondeterminism and Rare Events. | Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards |
| 2017 | HCI | Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults. | Thomas Given-Wilson, Axel Legay, Sean Sedwards |
| 2017 | WSC | Efficient simulation-based verification of probabilistic timed automata. | Arnd Hartmanns, Sean Sedwards, Pedro R. D'Argenio |
| 2016 | IFM | Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. | Pedro R. D'Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards |
| 2016 | ISoLA | Plasma Lab: A Modular Statistical Model Checking Platform. | Axel Legay, Sean Sedwards, Louis-Marie Traonouez |
| 2016 | SETTA | Importance Sampling for Stochastic Timed Automata. | Cyrille Jgourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bgsted Poulsen, Sean Sedwards |
| 2014 | ISoLA | An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking. | Cyrille Jgourel, Axel Legay, Sean Sedwards |
| 2014 | ISoLA | Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems. | Axel Legay, Sean Sedwards |
| 2014 | SEFM | Scalable Verification of Markov Decision Processes. | Axel Legay, Sean Sedwards, Louis-Marie Traonouez |
| 2014 | TASE | On Statistical Model Checking with PLASMA. | Axel Legay, Sean Sedwards |
| 2013 | CAV | Importance Splitting for Statistical Model Checking Rare Properties. | Cyrille Jgourel, Axel Legay, Sean Sedwards |
| 2013 | ETFA | Behavioural templates improve robot motion planning with social force model in human environments. | Alessio Colombo, Daniele Fontanelli, Dhaval Gandhi, Antonella De Angeli, Luigi Palopoli, Sean Sedwards, Axel Legay |
| 2012 | CAV | Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking. | Cyrille Jgourel, Axel Legay, Sean Sedwards |
| 2012 | ISoLA | Runtime Verification of Biological Systems. | Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bgsted Poulsen, Sean Sedwards |
| 2012 | TACAS | A Platform for High Performance Statistical Model Checking - PLASMA. | Cyrille Jgourel, Axel Legay, Sean Sedwards |