Intl. Colloquium on Automata, Languages, and Programming, ICALP 2018


Article Details
Title: O-Minimal Invariants for Linear Loops
Article URLs:
Alternative Article URLs:
Authors: Shaull Almagor
  • Oxford University, Department of Computer Science
Dmitry Chistikov
  • University of Warwick, Centre for Discrete Mathematics and its Applications
  • University of Warwick, Department of Computer Science
Joël Ouaknine
  • Max Planck Institute for Software Systems
  • Oxford University, Department of Computer Science
James Worrell
  • Oxford University, Department of Computer Science
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/icalp/AlmagorCO018
Author Comments:

Discuss this paper and its artifacts below