1. Carrying probabilities to the infinite world;Abdulla,2011
2. Deciding polynomial–exponential problems;Achatz,2008
3. Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs;Agrawal,2018
4. Parameterized verification by probabilistic abstraction;Arons,2003
5. On Schanuel's conjectures;Ax;Ann. Math.,1971