@article{hoare1969,
  title = {{An axiomatic basis for computer programming}},
  author = {Hoare, C. A. R.},
  year = {1969},
  journal = {Communications of the ACM},
  doi = {10.1145/363235.363259},
  url = {https://doi.org/10.1145/363235.363259}
}

@article{pnueli1977,
  title = {{The temporal logic of programs}},
  author = {Pnueli, Amir},
  year = {1977},
  journal = {18th Annual Symposium on Foundations of Computer Science (sfcs 1977)},
  doi = {10.1109/SFCS.1977.32},
  url = {https://doi.org/10.1109/SFCS.1977.32}
}

@article{campbell1979,
  title = {{Assessing the impact of planned social change}},
  author = {Campbell, Donald T.},
  year = {1979},
  journal = {Evaluation and Program Planning},
  doi = {10.1016/0149-7189(79)90048-X},
  url = {https://doi.org/10.1016/0149-7189(79)90048-X}
}

@misc{hadfieldmenell2017,
  title = {{Inverse Reward Design}},
  author = {Hadfield-Menell, Dylan and Milli, Smitha and Abbeel, Pieter and Russell, Stuart and Dragan, Anca},
  year = {2017},
  url = {https://arxiv.org/abs/1711.02827}
}

@misc{gao2022,
  title = {{Scaling Laws for Reward Model Overoptimization}},
  author = {Gao, Leo and Schulman, John and Hilton, Jacob},
  year = {2022},
  url = {https://openai.com/index/scaling-laws-for-reward-model-overoptimization/}
}

@article{huber1964,
  title = {{Robust Estimation of a Location Parameter}},
  author = {Huber, Peter J.},
  year = {1964},
  journal = {The Annals of Mathematical Statistics},
  doi = {10.1214/aoms/1177703732},
  url = {https://doi.org/10.1214/aoms/1177703732}
}

@article{shimodaira2000,
  title = {{Improving predictive inference under covariate shift by weighting the log-likelihood function}},
  author = {Shimodaira, Hidetoshi},
  year = {2000},
  journal = {Journal of Statistical Planning and Inference},
  doi = {10.1016/S0378-3758(00)00115-4},
  url = {https://doi.org/10.1016/S0378-3758(00)00115-4}
}

@article{angelopoulos2024,
  title = {{Conformal Risk Control}},
  author = {Angelopoulos, Anastasios and Bates, Stephen and Fisch, Adam and Lei, Lihua and Schuster, Tal},
  year = {2024},
  journal = {International Conference on Learning Representations},
  url = {https://proceedings.iclr.cc/paper_files/paper/2024/hash/f3549ef9b5ff520a7e41ff3cc306ab2b-Abstract-Conference.html}
}

@article{ovadia2019,
  title = {{Can you trust your model's uncertainty?  Evaluating predictive uncertainty under dataset shift}},
  author = {Ovadia, Yaniv and Fertig, Emily and Ren, Jie and Nado, Zachary and Sculley, D. and Nowozin, Sebastian and Dillon, Joshua and Lakshminarayanan, Balaji and Snoek, Jasper},
  year = {2019},
  journal = {Advances in Neural Information Processing Systems},
  url = {https://proceedings.neurips.cc/paper_files/paper/2019/hash/8558cb408c1d76621371888657d2eb1d-Abstract.html}
}

@article{alpern1985,
  title = {{Defining liveness}},
  author = {Alpern, Bowen and Schneider, Fred B.},
  year = {1985},
  journal = {Information Processing Letters},
  doi = {10.1016/0020-0190(85)90056-0},
  url = {https://doi.org/10.1016/0020-0190(85)90056-0}
}

@article{weyuker1982,
  title = {{On Testing Non-Testable Programs}},
  author = {Weyuker, E. J.},
  year = {1982},
  journal = {The Computer Journal},
  doi = {10.1093/comjnl/25.4.465},
  url = {https://doi.org/10.1093/comjnl/25.4.465}
}

@misc{clymer2024,
  title = {{Safety Cases: How to Justify the Safety of Advanced AI Systems}},
  author = {Clymer, Joshua and Gabrieli, Nick and Krueger, David and Larsen, Thomas},
  year = {2024},
  url = {https://arxiv.org/abs/2403.10462}
}

@article{burns2024,
  title = {{Weak-to-Strong Generalization: Eliciting Strong Capabilities With Weak Supervision}},
  author = {Collin Burns and Pavel Izmailov and Jan Hendrik Kirchner and Bowen Baker and Leo Gao and Leopold Aschenbrenner and Yining Chen and Adrien Ecoffet and Manas Joglekar and Jan Leike and Ilya Sutskever and Jeffrey Wu},
  year = {2024},
  journal = {International Conference on Machine Learning},
  url = {https://proceedings.mlr.press/v235/burns24b.html}
}

@article{chow1957,
  title = {{An optimum character recognition system using decision functions}},
  author = {Chow, C. K.},
  year = {1957},
  journal = {IRE Transactions on Electronic Computers},
  doi = {10.1109/TEC.1957.5222035},
  url = {https://doi.org/10.1109/TEC.1957.5222035}
}

@book{wiener1948,
  title = {{Cybernetics: Or Control and Communication in the Animal and the Machine}},
  author = {Wiener, Norbert},
  year = {1948},
  url = {https://direct.mit.edu/books/oa-monograph/4581/Cybernetics-or-Control-and-Communication-in-the}
}

@article{page1954,
  title = {{Continuous Inspection Schemes}},
  author = {Page, E. S.},
  year = {1954},
  journal = {Biometrika},
  doi = {10.1093/biomet/41.1-2.100},
  url = {https://doi.org/10.1093/biomet/41.1-2.100}
}

@article{greenblatt2024,
  title = {{AI Control: Improving Safety Despite Intentional Subversion}},
  author = {Ryan Greenblatt and Buck Shlegeris and Kshitij Sachan and Fabien Roger},
  year = {2024},
  journal = {International Conference on Machine Learning},
  url = {https://proceedings.mlr.press/v235/greenblatt24a.html}
}

@article{alshiekh2018,
  title = {{Safe Reinforcement Learning via Shielding}},
  author = {Alshiekh, Mohammed and Bloem, Roderick and Ehlers, Rüdiger and Könighofer, Bettina and Niekum, Scott and Topcu, Ufuk},
  year = {2018},
  journal = {Proceedings of the AAAI Conference on Artificial Intelligence},
  doi = {10.1609/aaai.v32i1.11797},
  url = {https://doi.org/10.1609/aaai.v32i1.11797}
}

@article{ramadge1987,
  title = {{Supervisory Control of a Class of Discrete Event Processes}},
  author = {Ramadge, P. J. and Wonham, W. M.},
  year = {1987},
  journal = {SIAM Journal on Control and Optimization},
  doi = {10.1137/0325013},
  url = {https://doi.org/10.1137/0325013}
}

@misc{ameisen2025,
  title = {{Circuit Tracing: Revealing Computational Graphs in Language Models}},
  author = {Emmanuel Ameisen and Jack Lindsey and Adam Pearce and Wes Gurnee and Nicholas L. Turner and Brian Chen and Craig Citro and David Abrahams and Shan Carter and Basil Hosmer and Jonathan Marcus and Michael Sklar and Adly Templeton and Trenton Bricken and Callum McDougall and Hoagy Cunningham and Thomas Henighan and Adam Jermyn and Andy Jones and Andrew Persic and Zhenyi Qi and T. Ben Thompson and Sam Zimmerman and Kelley Rivoire and Thomas Conerly and Chris Olah and Joshua Batson},
  year = {2025},
  url = {https://transformer-circuits.pub/2025/attribution-graphs/methods.html}
}

@article{mccloskey1989,
  title = {{Catastrophic Interference in Connectionist Networks: The Sequential Learning Problem}},
  author = {McCloskey, Michael and Cohen, Neal J.},
  year = {1989},
  journal = {Psychology of Learning and Motivation},
  doi = {10.1016/S0079-7421(08)60536-8},
  url = {https://doi.org/10.1016/S0079-7421(08)60536-8}
}

@article{perdomo2020,
  title = {{Performative Prediction}},
  author = {Juan Perdomo and Tijana Zrnic and Celestine Mendler-Dünner and Moritz Hardt},
  year = {2020},
  journal = {International Conference on Machine Learning},
  url = {https://proceedings.mlr.press/v119/perdomo20a.html}
}