Tang, M. Q., Sedwards, S., Huang, C., & Czarnecki, K. (2025). How Hard is Snow? A Paired Domain Adaptation Dataset for Clear and Snowy Weather: CADC+ Presented at the IEEE Intelligent Vehicles Symposium (IV) conference. Cluj, Romania: IEEE.
Reference author: Sean Sedwards
First name
Sean
Last name
Sedwards
Huang, C., Abdelzad, V., Sedwards, S., & Czarnecki, K. (2025). VADet: Multi-Frame LiDAR 3D Object Detection Using Variable Aggregation Presented at the 2025 IEEE CVF Winter Conference on Applications of Computer Vision (WACV) conference. Tucson, AZ, USA: IEEE. https://doi.org/10.1109/WACV61041.2025.00079 (Original work published 2025)
Huang, C., Abdelzad, V., Sedwards, S., & Czarnecki, K. (2024). SOAP: Cross-sensor Domain Adaptation for 3D Object Detection Using Stationary Object Aggregation Pseudo-labelling Presented at the 2024 IEEE CVF Winter Conference on Applications of Computer Vision (WACV) conference. Waikoloa, HI, USA: IEEE. https://doi.org/10.1109/WACV57701.2024.00332 (Original work published 2024)
Budde, C., D’Argenio, P., Hartmanns, A., & Sedwards, S. (2018). A Statistical Model Checker for Nondeterminism and Rare Events Retrieved from https://link.springer.com/chapter/10.1007/978-3-319-89963-3_20
Zhang, Z., Ernst, G., Hasuo, I., & Sedwards, S. (2018). Time-Staging Enhancement of Hybrid System Falsification Porto, Portugal: IEEE. Retrieved from https://ieeexplore.ieee.org/abstract/document/8429475
Zhang, Z., Ernst, G., Sedwards, S., Arcani, P., & Hasuo, I. (2018). Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search. IEEE TCAD Torino, Italy: IEEE. Retrieved from https://ieeexplore.ieee.org/document/8418450
Hartmanns, A., Sedwards, S., & D’Argenio, P. (2017). Efficient Simulation-based Verification of Probabilistic Timed Automata Efficient Simulation-Based Verification of Probabilistic Timed Automata, 1419\textendash1430. Las Vegas, USA: IEEE. https://doi.org/10.1109/WSC.2017.8247885
Larson, K., Peled, D., & Sedwards, S. (2017). Memory-Efficient Tactics for Randomized LTL Model Checking Heidelberg, Germany: Springer. Retrieved from https://link.springer.com/chapter/10.1007/978-3-319-72308-2_10
Kido, K., Sedwards, S., & Hasuo, I. (2017). Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems Seoul, South Korea: Springer. Retrieved from https://link.springer.com/chapter/10.1007/978-3-030-17910-6_9
Jaeger, M., Jensen, P. G., Larson, K., Legay, A., Sedwards, S., & Taankvist, J. H. (2019). Teaching Stratego to Play Ball: Optimizing Continuous Space MDPs Taipei, Taiwan: Springer.