Reference author: Sean Sedwards

Lee, J., Balakrishnan, A., Gaurav, A., Czarnecki, K., & Sedwards, S. (2019). WiseMove: A Framework to Investigate Safe Reinforcement Learning for Autonomous Driving Glasgow, Scotland: Springer.

Kido, K., Sedwards, S., & Hasuo, I. (2018). Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems Oxford, United Kingdom: Elsevier. Retrieved from https://www.sciencedirect.com/science/article/pii/S2405896318311583

Given-Wilson, T., Legay, A., Sedwards, S., & Zendra, O. (2018). Group abstraction for assisted navigation of social activities in intelligent environments Springer Journal of Reliable Intelligent Environments, 4, 107\textendash120. Retrieved from https://link.springer.com/article/10.1007/s40860-018-0058-1

D’Argenio, P., Gerhold, M., Hartmanns, A., & Sedwards, S. (2018). A Hierarchy of Scheduler Classes for Stochastic Automata Thessaloniki, Greece: Springer. Retrieved from https://link.springer.com/chapter/10.1007/978-3-319-89366-2_21

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

Abdelzad, V., Lee, J., Sedwards, S., Soltani, S., & Czarnecki, K. (2021). Non-divergent Imitation for Verification of Complex Learned Controllers Shenzhen, China (virtual): IEEE. https://doi.org/10.1109/IJCNN52387.2021.9533410

Lee, J., Sedwards, S., & Czarnecki, K. (2021). Recursive Constraints to Prevent Instability in Constrained Reinforcement Learning Presented at the Recursive Constraints to Prevent Instability in Constrained Reinforcement Learning conference. Online at http://modem2021.cs.nuigalway.ie/. Retrieved from https://arxiv.org/abs/2201.07958

Balakrishnan, A., Lee, J., Gaurav, A., Czarnecki, K., & Sedwards, S. (2021). Transfer Reinforcement Learning for Autonomous Driving: From WiseMove to WiseSim ACM Transactions on Modeling and Computer Simulation, 31, Article No. 15, pp 1~26. https://doi.org/10.1145/3449356 (Original work published 2021)

Budde, C., D’Argenio, P., Hartmanns, A., & Sedwards, S. (2020). An Efficient Statistical Model Checker for Nondeterminism and Rare Events International Journal on Software Tools For Technology Transfer, Special Issue TACAS 2018.

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.