[147] Hari Govind V. K., Sharon Shoham, and Arie Gurfinkel. "Solving constrained Horn clauses modulo algebraic data types and recursive functions". In: *Proc. ACM Program. Lang.* 6.POPL (2022), pp. 1-29.

[148] Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, and Clark W. Barrett. "Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays". In: *Log. Methods Com-put. Sci.* 18.3 (2022).

[149] Shubham Pateria, Budhitama Subagdja, Ah-Hwee Tan, and Chai Quek. "Hierarchical Reinforcement Learning: A Comprehensive Survey". In: *ACM Comput. Surv.* 54.5 (2022), 109:1-109:35.

[150] Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann, and Janine Lohse. "Automata-Based Software Model Checking of Hyperproperties". In: *NFM. Vol. 13903*. Lecture Notes in Computer Science. Springer, 2023, pp. 361-379.

[151] Isabel Garcia-Contreras, Hari Govind V. K., Sharon Shoham, and Arie Gurfinkel. "Fast Approximations of Quantifier Elimination". In: *CAV (2). Vol. 13965*. Lecture Notes in Computer Science. Springer, 2023, pp. 64-86.

[152] Alberto Griggio and Martin Jonás. "Kratos2: An SMT-Based Model Checker for Imperative Programs". In: *CAV (3). Vol. 13966*. Lecture Notes in Computer Science. Springer, 2023, pp. 423-436.

[153] Tianren Zhang, Shangqi Guo, Tian Tan, Xiaolin Hu, and Feng Chen. "Adjacency Constraint for Efficient Hierarchical Reinforcement Learning". In: *IEEE Trans. Pattern Anal. Mach. Intell.* 45.4 (2023), pp. 4152-4166.