Matches in SemOpenAlex for { <https://semopenalex.org/work/W77903274> ?p ?o ?g. }
- W77903274 abstract "Over the last two decades, there has been an extensive study on logical formalisms for specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction. Although numerous logics have been introduced for the formal specification of real-time and complex systems, an up to date comprehensive analysis of these logics does not exist in the literature. In this paper we analyse real-time and probabilistic temporal logics which have been widely used in this field. We extrapolate the notions of decidability, axiomatizability, expressiveness, model checking, etc. for each logic analysed. We also provide a comparison of features of the temporal logics discussed." @default.
- W77903274 created "2016-06-24" @default.
- W77903274 creator A5037997843 @default.
- W77903274 date "2010-05-18" @default.
- W77903274 modified "2023-09-27" @default.
- W77903274 title "Real-time and Probabilistic Temporal Logics: An Overview" @default.
- W77903274 cites W102293300 @default.
- W77903274 cites W122874777 @default.
- W77903274 cites W1275821725 @default.
- W77903274 cites W1483892218 @default.
- W77903274 cites W1488267121 @default.
- W77903274 cites W1491593738 @default.
- W77903274 cites W1495932835 @default.
- W77903274 cites W1500110201 @default.
- W77903274 cites W1501306521 @default.
- W77903274 cites W1501731334 @default.
- W77903274 cites W1508190831 @default.
- W77903274 cites W1511105469 @default.
- W77903274 cites W1514882327 @default.
- W77903274 cites W1523903952 @default.
- W77903274 cites W1533126827 @default.
- W77903274 cites W1541152994 @default.
- W77903274 cites W1542234847 @default.
- W77903274 cites W1543119109 @default.
- W77903274 cites W1549008998 @default.
- W77903274 cites W1549387132 @default.
- W77903274 cites W1560508321 @default.
- W77903274 cites W1564069854 @default.
- W77903274 cites W1566153200 @default.
- W77903274 cites W1574129634 @default.
- W77903274 cites W1574299213 @default.
- W77903274 cites W1579165893 @default.
- W77903274 cites W1582571943 @default.
- W77903274 cites W1584428352 @default.
- W77903274 cites W1586167239 @default.
- W77903274 cites W1586932402 @default.
- W77903274 cites W1592235141 @default.
- W77903274 cites W1594660938 @default.
- W77903274 cites W1595513077 @default.
- W77903274 cites W1598451922 @default.
- W77903274 cites W1600408058 @default.
- W77903274 cites W1600992845 @default.
- W77903274 cites W1606501085 @default.
- W77903274 cites W1612453857 @default.
- W77903274 cites W1612934218 @default.
- W77903274 cites W1653374189 @default.
- W77903274 cites W1734942885 @default.
- W77903274 cites W1761002632 @default.
- W77903274 cites W1775249002 @default.
- W77903274 cites W1776399581 @default.
- W77903274 cites W1780005695 @default.
- W77903274 cites W1787074469 @default.
- W77903274 cites W1885037678 @default.
- W77903274 cites W1886844571 @default.
- W77903274 cites W1894019848 @default.
- W77903274 cites W1908912820 @default.
- W77903274 cites W1949723230 @default.
- W77903274 cites W1964297656 @default.
- W77903274 cites W1966994121 @default.
- W77903274 cites W1967494119 @default.
- W77903274 cites W1977441255 @default.
- W77903274 cites W1978654873 @default.
- W77903274 cites W1980924813 @default.
- W77903274 cites W1982302236 @default.
- W77903274 cites W1982800675 @default.
- W77903274 cites W1986177331 @default.
- W77903274 cites W1986669897 @default.
- W77903274 cites W1988422114 @default.
- W77903274 cites W1991802248 @default.
- W77903274 cites W1991981864 @default.
- W77903274 cites W1993397971 @default.
- W77903274 cites W1996417974 @default.
- W77903274 cites W1997064673 @default.
- W77903274 cites W1998387957 @default.
- W77903274 cites W1999122486 @default.
- W77903274 cites W1999428129 @default.
- W77903274 cites W1999733611 @default.
- W77903274 cites W2000138546 @default.
- W77903274 cites W2003227046 @default.
- W77903274 cites W2003972653 @default.
- W77903274 cites W2004306067 @default.
- W77903274 cites W2004532354 @default.
- W77903274 cites W2005805388 @default.
- W77903274 cites W2005998857 @default.
- W77903274 cites W2009280542 @default.
- W77903274 cites W2011132281 @default.
- W77903274 cites W2014322692 @default.
- W77903274 cites W2015208619 @default.
- W77903274 cites W2017960715 @default.
- W77903274 cites W2018216922 @default.
- W77903274 cites W2018908462 @default.
- W77903274 cites W2021704447 @default.
- W77903274 cites W2023808162 @default.
- W77903274 cites W2024016985 @default.
- W77903274 cites W2025315843 @default.
- W77903274 cites W2025589690 @default.
- W77903274 cites W2026629052 @default.
- W77903274 cites W2027456138 @default.
- W77903274 cites W2031145943 @default.
- W77903274 cites W2038272221 @default.