Mightyl: A compositional translation from mitl to timed automata
- Submitting institution
-
Sheffield Hallam University
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 3000
- Type
- E - Conference contribution
- DOI
-
10.1007/978-3-319-63387-9_21
- Title of conference / published proceedings
- Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
- First page
- 421
- Volume
- 10426
- Issue
- -
- ISSN
- 0302-9743
- Open access status
- Deposit exception
- Month of publication
- January
- Year of publication
- 2017
- 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
-
3
- Research group(s)
-
-
- Citation count
- 10
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Funded by the FRS/F.N.R.S. PDR grant SyVeRLo, and (partially) funded by the DeLTA project (ANR-16-CE40-0007) and the SensAS project (INS2I JCJC’17). Barbosa et al. use MightyL for integrated motion planning and control (IEEE, 2019). Verginis et al. use MightyL for reconfigurable motion planning and control in obstacle cluttered environments (IEEE, 2019).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -