Parametric Linear Dynamic Logic
- Submitting institution
-
The University of Liverpool
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 12140
- Type
- D - Journal article
- DOI
-
10.1016/j.ic.2016.07.009
- Title of journal
- Information and Computation
- Article number
- -
- First page
- 237
- Volume
- 253
- Issue
- Part 2
- ISSN
- 0890-5401
- Open access status
- Technical exception
- Month of publication
- July
- Year of publication
- 2016
- 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
- 6
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- A preliminary version of this paper was published at GandAlf 2014. The translations from logic to automata that were introduced in this paper have become a standard tool for researchers working on LDL and its extensions, for example in Gutsfeld et al. (CONCUR 2020) and Liu et al. (IJCAI 2020). An optimised version of the translation has been implemented by Kong and Lomuscio (IJCAI 2017).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -