Ernst, G., Sedwards, S., Zhang, Z., & Hasuo, I. (2019). Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input Glasgow, Scotland: Springer.
Reference author: Sean Sedwards
First name
Sean
Last name
Sedwards
Lee, J., Sedwards, S., & Czarnecki, K. (2023). Uniformly Constrained Reinforcement Learning Accepted for Publication in Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS): Special Issue on Multi-Objective Decision Making (MODeM).
Larter, S., Queiroz, R., Sedwards, S., Sarkar, A., & Czarnecki, K. (2022). A Hierarchical Pedestrian Behavior Model to Generate Realistic Human Behavior in Traffic Simulation Aachen, Germany: IEEE. https://doi.org/10.1109/IV51971.2022.9827035 (Original work published 2022)
Bouchard, F., Sedwards, S., & Czarnecki, K. (2022). A Rule-Based Behaviour Planner for Autonomous Driving Berlin (virtual): Springer.
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
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.