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.
Reference author: Sean Sedwards
First name
Sean
Last name
Sedwards
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
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