Geometric nontermination arguments

DOI10.1007/978-3-319-89963-3_16zbMath1423.68103arXiv1609.05207OpenAlexW2963062860MaRDI QIDQ2324233

Jan Leike, Matthias Heizmann

Publication date: 16 September 2019

Full work available at URL: https://arxiv.org/abs/1609.05207

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Automatic discovery of fair paths in infinite-state transition systems ⋮ Termination of polynomial loops ⋮ Proving the existence of fair paths in infinite-state systems ⋮ Synthesizing ranking functions for loop programs via SVM ⋮ \textsc{LTL} falsification in infinite-state systems

This page was built for publication: Geometric nontermination arguments