Zobrazeno 1 - 10
of 265
pro vyhledávání: '"He Jifeng"'
Decentralized learning has become crucial for collaborative model training in environments where data privacy and trust are paramount. In web-based applications, clients are liberated from traditional fixed network topologies, enabling the establishm
Externí odkaz:
http://arxiv.org/abs/2410.11378
Autor:
Feng, Jincao, Miao, Weikai, Zheng, Hanyue, Huang, Yihao, Li, Jianwen, Wang, Zheng, Su, Ting, Gu, Bin, Pu, Geguang, Yang, Mengfei, He, Jifeng
Formal methods are promising for modeling and analyzing system requirements. However, applying formal methods to large-scale industrial projects is a remaining challenge. The industrial engineers are suffering from the lack of automated engineering m
Externí odkaz:
http://arxiv.org/abs/2306.01260
Publikováno v:
In Knowledge-Based Systems 4 November 2024 303
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:
In Transportation Research Part C September 2023 154
Publikováno v:
Journal of Coastal Research, 2020 Jul 01, 42-47.
Externí odkaz:
https://www.jstor.org/stable/48639946
We consider here Linear Temporal Logic (LTL) formulas interpreted over \emph{finite} traces. We denote this logic by LTLf. The existing approach for LTLf satisfiability checking is based on a reduction to standard LTL satisfiability checking. We desc
Externí odkaz:
http://arxiv.org/abs/1403.1666
Satisfiability checking for Linear Temporal Logic (LTL) is a fundamental step in checking for possible errors in LTL assertions. Extant LTL satisfiability checkers use a variety of different search procedures. With the sole exception of LTL satisfiab
Externí odkaz:
http://arxiv.org/abs/1401.5677
In this paper we present a portfolio LTL-satisfiability solver, called Polsat. To achieve fast satisfiability checking for LTL formulas, the tool integrates four representative LTL solvers: pltl, TRP++, NuSMV, and Aalta. The idea of Polsat is to run
Externí odkaz:
http://arxiv.org/abs/1311.1602