Zobrazeno 1 - 10
of 28
pro vyhledávání: '"Rozier, Kristin Y."'
Publikováno v:
EPTCS 402, 2024, pp. 4-17
The foundations of formal models for epistemic and doxastic logics often rely on certain logical aspects of modal logics such as S4 and S4.2 and their semantics; however, the corresponding mathematical results are often stated in papers or books with
Externí odkaz:
http://arxiv.org/abs/2404.14919
Publikováno v:
Leibniz Transactions on Embedded Systems, Vol 4, Iss 1, Pp 05:1-05:26 (2017)
As data centers attempt to cope with the exponential growth of data, new techniques for intelligent, software-defined data centers (SDDC) are being developed to confront the scale and pace of changing resources and requirements. For cost-constrained
Externí odkaz:
https://doaj.org/article/b7fa20349e6e40f3a7a8e091087854a2
We present here a SAT-based framework for LTLf (Linear Temporal Logic on Finite Traces) satisfiability checking. We use propositional SAT-solving techniques to construct a transition system for the input LTLf formula; satisfiability checking is then
Externí odkaz:
http://arxiv.org/abs/1811.03176
Publikováno v:
In Information and Computation November 2022 289 Part A
Publikováno v:
In Artificial Intelligence December 2020 289
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Innovations in Systems & Software Engineering; Dec2022, Vol. 18 Issue 4, p567-580, 14p
Autor:
Dureja, Rohit, Rozier, Kristin Y.
Publikováno v:
Formal Methods in System Design; Nov2021, Vol. 58 Issue 3, p375-398, 24p