Deciding Reachability for Piecewise Constant Derivative Systems on Orientable Manifolds
- Submitting institution
-
University of Hertfordshire
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 22767289
- Type
- E - Conference contribution
- DOI
-
10.1007/978-3-030-30806-3_14
- Title of conference / published proceedings
- Reachability Problems - 13th International Conference, RP 2019, Proceedings
- First page
- 178
- Volume
- 11674
- Issue
- -
- ISSN
- -
- Open access status
- -
- Month of publication
- September
- Year of publication
- 2019
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
1
- Research group(s)
-
-
- Citation count
- -
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- The 15 page paper explains a novel interdisciplinary approach for proving decidability of reachability. The revolutionary method extends techniques developed in pure mathematics to solve a CS problem. The research was supported by a travel grant from London Mathematical Society in 2019 and an award from the SPIRE Programme of Bergen University in 2020. In collaboration with the Algorithms Group at Bergen, the results have been extended further and led to current work-in-progress on a journal publication. The first author has been employed as a software engineer by industry (Yandex).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -