Context-Aware Temporal Logic for Probabilistic Systems
Publication
, Journal Article
Elfar, M; Wang, Y; Pajic, M
Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
January 1, 2020
In this paper, we introduce the context-aware probabilistic temporal logic (CAPTL) that provides an intuitive way to formalize system requirements by a set of PCTL objectives with a context-based priority structure. We formally present the syntax and semantics of CAPTL and propose a synthesis algorithm for CAPTL requirements. We also implement the algorithm based on the PRISM-games model checker. Finally, we demonstrate the usage of CAPTL on two case studies: a robotic task planning problem, and synthesizing error-resilient scheduler for micro-electrode-dot-array digital microfluidic biochips.
Duke Scholars
Published In
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
DOI
EISSN
1611-3349
ISSN
0302-9743
Publication Date
January 1, 2020
Volume
12302 LNCS
Start / End Page
215 / 232
Related Subject Headings
- Artificial Intelligence & Image Processing
- 46 Information and computing sciences
Citation
APA
Chicago
ICMJE
MLA
NLM
Elfar, M., Wang, Y., & Pajic, M. (2020). Context-Aware Temporal Logic for Probabilistic Systems. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 12302 LNCS, 215–232. https://doi.org/10.1007/978-3-030-59152-6_12
Elfar, M., Y. Wang, and M. Pajic. “Context-Aware Temporal Logic for Probabilistic Systems.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12302 LNCS (January 1, 2020): 215–32. https://doi.org/10.1007/978-3-030-59152-6_12.
Elfar M, Wang Y, Pajic M. Context-Aware Temporal Logic for Probabilistic Systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2020 Jan 1;12302 LNCS:215–32.
Elfar, M., et al. “Context-Aware Temporal Logic for Probabilistic Systems.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12302 LNCS, Jan. 2020, pp. 215–32. Scopus, doi:10.1007/978-3-030-59152-6_12.
Elfar M, Wang Y, Pajic M. Context-Aware Temporal Logic for Probabilistic Systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2020 Jan 1;12302 LNCS:215–232.
Published In
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
DOI
EISSN
1611-3349
ISSN
0302-9743
Publication Date
January 1, 2020
Volume
12302 LNCS
Start / End Page
215 / 232
Related Subject Headings
- Artificial Intelligence & Image Processing
- 46 Information and computing sciences