Reference author: Sean Sedwards

D’Argenio, P. ., Hartmanns, A. ., & Sedwards, S. . (2018). Lightweight Statistical Model Checking in Nondeterministic Continuous Time. Limassol, Cyprus: Springer. Retrieved from https://link.springer.com/chapter/10.1007/978-3-030-03421-4_22

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

Jhunjhunwala, A. ., Lee, J. ., Sedwards, S. ., Abdelzad, V. ., & Czarnecki, K. . (2020). Improved Policy Extraction via Online Q-Value Distillation. Improved Policy Extraction via Online Q-Value Distillation. Presented at the. Glasgow: IEEE.

Salay, R. ., Czarnecki, K. ., Alvarez, I. ., Elli, M. S., Sedwards, S. ., & Weast, J. . (2020). PURSS: Towards Perceptual Uncertainty Aware Responsibility Sensitive Safety with ML. PURSS: Towards Perceptual Uncertainty Aware Responsibility Sensitive Safety With ML. Presented at the. New York: CEUR.

Gaurav, A. ., Vernekar, S. ., Lee, J. ., Sedwards, S. ., Abdelzad, V. ., & Czarnecki, K. . (2020). Simple Continual Learning Strategies for Safer Classifers. Simple Continual Learning Strategies for Safer Classifers. Presented at the. CEUR. Retrieved from http://ceur-ws.org/Vol-2560/paper6.pdf (Original work published 2020)

Babaee, R. ., Ganesh, V. ., & Sedwards, S. . (2019). Accelerated Learning of Predictive Runtime Monitors for Rare Failure. Porto, Portugal: Springer.

Ilievski, M. ., Sedwards, S. ., Gaurav, A. ., Balakrishnan, A. ., Sarkar, A. ., Lee, J. ., Bouchard, F. ., De Iaco, R. ., & Czarnecki, K. . (2019). Design Space of Behaviour Planning for Autonomous Driving. Waterloo. Retrieved from https://arxiv.org/abs/1908.07931 (Original work published 2019)