Combined model checking for temporal, probabilistic, and real-time logics



Konur, Savas, Fisher, Michael ORCID: 0000-0002-0875-3862 and Schewe, Sven ORCID: 0000-0002-9093-9518
(2013) Combined model checking for temporal, probabilistic, and real-time logics. THEORETICAL COMPUTER SCIENCE, 503. 61 - 88.

This is the latest version of this item.

[img] Text
1-s2.0-S030439751300515X-main.pdf__tid=501d3e2e-82f4-11e4-8ceb-00000aab0f27&acdnat=1418494835_0746cded9fcd8f161715e152469a1cda - OA Published Version
Available under License Creative Commons Attribution.

Download (663kB)
Item Type: Article
Uncontrolled Keywords: Formal verification, Model checking, Combination of logics, Complexity, Multi-agent systems
Depositing User: Symplectic Admin
Date Deposited: 15 Dec 2014 10:04
Last Modified: 16 Sep 2021 11:09
DOI: 10.1016/j.tcs.2013.07.012
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/2003663

Available Versions of this Item

  • Combined model checking for temporal, probabilistic, and real-time logics. (deposited 15 Dec 2014 10:04) [Currently Displayed]