Ernst, G., Sedwards, S., Zhang, Z., & Hasuo, I. (2021). Falsification of Hybrid Systems Using Adaptive Probabilistic Search ACM Transactions on Modeling and Computer Simulation (TOMACS), 31, 1-22. https://doi.org/10.1145/3459605
Reference author: Sean Sedwards
First name
Sean
Last name
Sedwards
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.