Lefaucheux, Engel 
ORCID: 0000-0003-0875-300X, Ouaknine, Joël ORCID: 0000-0003-0031-9356, Purser, David ORCID: 0000-0003-0394-1634 and Worrell, James ORCID: 0000-0001-8151-2443
(2021)
Porous Invariants.
.
|
PDF
cav.pdf - Author Accepted Manuscript Download (784kB) | Preview |
Abstract
<jats:title>Abstract</jats:title><jats:p>We introduce the notion of <jats:italic>porous invariants</jats:italic> for multipath (or branching/nondeterministic) affine loops over the integers; these invariants are not necessarily convex, and can in fact contain infinitely many ‘holes’. Nevertheless, we show that in many cases such invariants can be automatically synthesised, and moreover can be used to settle (non-)reachability questions for various interesting classes of affine loops and target sets. </jats:p>
| Item Type: | Conference or Workshop Item (Unspecified) |
|---|---|
| Divisions: | Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science |
| Depositing User: | Symplectic Admin |
| Date Deposited: | 29 Mar 2023 10:10 |
| Last Modified: | 31 Mar 2023 09:32 |
| DOI: | 10.1007/978-3-030-81688-9_8 |
| Related URLs: | |
| URI: | https://livrepository.liverpool.ac.uk/id/eprint/3169333 |
Dimensions
Dimensions
