We explore whether multifield inflationary models make unambiguous predictions for fundamental cosmological observables. Focusing on $N$-quadratic inflation, we numerically evaluate the full perturbation equations for models with 2, 3, and $\mathc...

This research was supported by Marsden Grant UOA1021 and a postdoctoral fellowship at the National Center for Theoretical Sciences at the National Taiwan University. The author would like to thank Michel Brion, Brian Conrad, Philippe Gille, and Be...

Synchronous observers are used to express safety properties for synchronous programs, which may be verified either statically or during runtime. This paper extends observers by proposing the concept of runtime enforcers for synchronous programs. T...

1