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