References

Liang, J. H. (2018). Machine Learning for SAT Solvers Waterloo, ON, Canada. Retrieved from http://hdl.handle.net/10012/14207 (Original work published 2018)

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

Angus, M., ElBalkini, M., Khan, S., Harakeh, A., Andrienko, O., Reading, C., … Waslander, S. (2018). Unlimited Road-scene Synthetic Annotation (URSA) Dataset Presented at the Unlimited Road-Scene Synthetic Annotation (URSA) Dataset conference. Maui, Hawaii, USA: IEEE. Retrieved from https://arxiv.org/abs/1807.06056 (Original work published 2018)

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

Colwell, I. (2018). Runtime Restriction of the Operational Design Domain: A Safety Concept for Automated Vehicles Waterloo. Retrieved from https://uwspace.uwaterloo.ca/handle/10012/13398 (Original work published 2018)

Passos, L., Queiroz, R., Mukelabai, M., Berger, T., Apel, S., Czarnecki, K., & Padilla, J. A. (2018). A Study of Feature Scattering in the Linux Kernel IEEE Transactions on Software Engineering.

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

Zulkoski, E. (2018). Understanding and Enhancing CDCL-based SAT Solvers Waterloo. Retrieved from https://uwspace.uwaterloo.ca/handle/10012/13525 (Original work published 2018)

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