Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Xiao, Shengping"'
Autor:
Xiao, Shengping, Li, Yongkang, Zhu, Shufang, Sun, Jun, Li, Jianwen, Pu, Geguang, Vardi, Moshe Y.
We present an on-the-fly synthesis framework for Linear Temporal Logic over finite traces (LTLf) based on top-down deterministic automata construction. Existing approaches rely on constructing a complete Deterministic Finite Automaton (DFA) correspon
Externí odkaz:
http://arxiv.org/abs/2408.07324
In goal-oriented requirement engineering, boundary conditions(BC) are used to capture the divergence of goals, i.e., goals cannot be satisfied as a whole in some circumstances. As the goals are formally described by temporal logic, solving BCs automa
Externí odkaz:
http://arxiv.org/abs/2203.12903
Publikováno v:
In Gene Reports December 2024 37
Publikováno v:
In Cell Reports 23 July 2024 43(7)
Publikováno v:
Journal of Logic & Computation; Oct2024, Vol. 34 Issue 7, p1274-1294, 21p
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.
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.
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.
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:
Nature Chemical Biology; April 2016, Vol. 12 Issue: 4 p304-304, 1p