Counterexample-guided refinement of template polyhedra
- Submitting institution
-
University of Newcastle upon Tyne
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 271826-266709-1292
- Type
- E - Conference contribution
- DOI
-
10.1007/978-3-662-54577-5_34
- Title of conference / published proceedings
- 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017)
- First page
- 589
- Volume
- 10205
- Issue
- -
- ISSN
- 0302-9743
- Open access status
- Deposit exception
- Month of publication
- March
- Year of publication
- 2017
- URL
-
https://doi.org/10.1007/978-3-662-54577-5_34
- 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
-
3
- Research group(s)
-
A - Advanced Model-Based Engineering and Reasoning (AMBER)
- Citation count
- 6
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- The paper presents the first approach to automatically adjust the precision of verification of convex hybrid automata by automatically discovering new template directions used in region space representation. Our techniques can boost analysis performance by up to 5000 times. This paper led to over 10 invited talks in both major universities such as Northeastern University (USA, 2019) and industrial companies such as United Technologies Research Center (USA, 2017) and DENSO Corporation (Japan, 2019). This is an important outcome of a USD275K grant from the US Air Force Office of Scientific Research (award number FA2386-17-1-4065).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -