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 Presented at the Improved Policy Extraction via Online Q-Value Distillation conference. 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 Presented at the PURSS: Towards Perceptual Uncertainty Aware Responsibility Sensitive Safety With ML conference. New York: CEUR.

Gaurav, A., Vernekar, S., Lee, J., Sedwards, S., Abdelzad, V., & Czarnecki, K. (2020). Simple Continual Learning Strategies for Safer Classifers Presented at the Simple Continual Learning Strategies for Safer Classifers conference. 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., … Czarnecki, K. (2019). Design Space of Behaviour Planning for Autonomous Driving Waterloo. Retrieved from https://arxiv.org/abs/1908.07931 (Original work published 2019)