標(biāo)題: Titlebook: NASA Formal Methods; 12th International S Ritchie Lee,Susmit Jha,Dimitra Giannakopoulou Conference proceedings 2020 Springer Nature Switzer [打印本頁] 作者: Maculate 時間: 2025-3-21 20:01
書目名稱NASA Formal Methods影響因子(影響力)
書目名稱NASA Formal Methods影響因子(影響力)學(xué)科排名
書目名稱NASA Formal Methods網(wǎng)絡(luò)公開度
書目名稱NASA Formal Methods網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱NASA Formal Methods被引頻次
書目名稱NASA Formal Methods被引頻次學(xué)科排名
書目名稱NASA Formal Methods年度引用
書目名稱NASA Formal Methods年度引用學(xué)科排名
書目名稱NASA Formal Methods讀者反饋
書目名稱NASA Formal Methods讀者反饋學(xué)科排名
作者: 充氣女 時間: 2025-3-21 20:32
Neural Simplex Architecturebut can also improve the safety of such a controller in an online setting via retraining, without overly degrading its performance. To demonstrate NSA’s benefits, we have conducted several significant case studies in the continuous control domain. These include a target-seeking ground rover navigati作者: 蒙太奇 時間: 2025-3-22 03:52
Strengthening Deterministic Policies for POMDPsory to achieve satisfactory policies. First, we extend our encoding to deliver a restricted class of randomized policies. Second, based on the results of the original MILP, we employ a preprocessing of the POMDP to encompass memory-based decisions. The advantages of our approach over state-of-the-ar作者: 多樣 時間: 2025-3-22 07:27 作者: 赤字 時間: 2025-3-22 11:26
ns, with approximately 68% of the highest values detected from Falcon Dam to the mouth of the river. Twenty-six (20%) of the locations with maximum concentrations corresponded to portions of Llano Grande Lake and the Arroyo Colorado. Recent analyses of birds and fish indicate that levels of DDE are 作者: Commentary 時間: 2025-3-22 14:43
Si Liu,Atul Sandur,José Meseguer,Peter Csaba ?lveczky,Qi Wangical and other evaluations of natures, locales, magnitudes, fates, and toxicology of the persisting residues of these chemicals loosed upon the world. Among the sequelae of this broad new emphasis has been an inescapable need for an articulated set of authoritative publications where one could expec作者: 共同給與 時間: 2025-3-22 18:20 作者: 比目魚 時間: 2025-3-23 00:13 作者: 江湖騙子 時間: 2025-3-23 02:13
Mohsen Safari,Wytse Oortwijn,Sebastiaan Joosten,Marieke Huismanponent in low-melting alloys in bearings, solder, nuclear reactor control rods, and in cadmium-copper telephone wires. It is also used in PVC heat stabilizers and to improve high-temperature properties of rubber and plastics as well as in semiconductors and in ceramic glazes.作者: Yag-Capsulotomy 時間: 2025-3-23 07:18
Xiaoxin An,Amer Tahat,Binoy Ravindranology of the chemicals loosed upon the earth. Among the sequelae of this broad new emphasis is an undeniable need for an articulated set of authoritative publications, where one can find the latest important world literature produced by these emerging areas of science together with docu- mentation o作者: 嚙齒動物 時間: 2025-3-23 12:53 作者: Mechanics 時間: 2025-3-23 13:50 作者: lesion 時間: 2025-3-23 19:34
Bernhard K. Aichernig,Andrea Pferscher,Martin Tappler作者: CESS 時間: 2025-3-23 23:28 作者: coltish 時間: 2025-3-24 05:55
Sumathi Gokulanathan,Alexander Feldsher,Adi Malca,Clark Barrett,Guy Katz作者: 壓倒性勝利 時間: 2025-3-24 08:36 作者: Accord 時間: 2025-3-24 13:03
Leonore Winterer,Ralf Wimmer,Nils Jansen,Bernd Becker作者: 污點 時間: 2025-3-24 16:20
Lukas Westhofen,Philipp Berger,Joost-Pieter Katoen作者: 咆哮 時間: 2025-3-24 19:07 作者: Strength 時間: 2025-3-25 00:53
Formal Verification of Parallel Prefix Sumgorithm reuses the auxiliary lemmas that we needed to create the first proof. To the best of our knowledge, this paper is the first . verification of functional correctness of the two parallel in-place prefix sum algorithms which does not make any assumption about the size of the input array.作者: 幻想 時間: 2025-3-25 03:23 作者: MERIT 時間: 2025-3-25 11:02
From Passive to Active: Learning Timed Automata Efficiently evaluation we compared our active to the passive learning technique based on 43 timed systems with up?to 20 locations and multiple clock variables. The results of . experiments show that we require only 100 timed traces to adequately learn a timed system. The new approach is up?to 755 times faster.作者: aplomb 時間: 2025-3-25 12:53 作者: BRUNT 時間: 2025-3-25 19:07
Benchmarking Software Model Checkers on Automotive Codeion competition. A hand-crafted, simple extension of the verifier CBMC with .-induction delivers results on 63% of the requirements while the proprietary BTC EmbeddedValidator covers 80% and obtains bounded verification results for most of the remaining requirements.作者: 織布機 時間: 2025-3-25 23:21 作者: 巧思 時間: 2025-3-26 03:00 作者: 落葉劑 時間: 2025-3-26 04:21
Parameter Synthesis and Robustness Analysis of Rule-Based Modelsr the synthesis of parameter values (parameter synthesis) which ensure the behaviour of the modelled system satisfies a given PCTL property. In addition, we demonstrate how this method can be used for robustness analysis.作者: 死亡 時間: 2025-3-26 12:00 作者: Biomarker 時間: 2025-3-26 15:48 作者: –scent 時間: 2025-3-26 19:40 作者: 禁止 時間: 2025-3-26 22:40
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/n/image/660032.jpg作者: 使厭惡 時間: 2025-3-27 03:27
https://doi.org/10.1007/978-3-030-55754-6architecting; architecture verification and validation; artificial intelligence; automated programming; 作者: 徹底檢查 時間: 2025-3-27 07:12
978-3-030-55753-9Springer Nature Switzerland AG 2020作者: 主講人 時間: 2025-3-27 12:11 作者: Expediency 時間: 2025-3-27 14:26 作者: hallow 時間: 2025-3-27 21:05
Si Liu,Atul Sandur,José Meseguer,Peter Csaba ?lveczky,Qi Wangiron- ments has justified the present triumvirate of specialized publications in this field: comprehensive reviews, rapidly published progress reports, and archival documentations. These three publications are integrated and scheduled to pro- vide in international communication the coherency essenti作者: 陶器 時間: 2025-3-28 00:13
Matej Troják,David ?afránek,Lukrécia Mertová,Lubo? Brimiron- ments has justified the present triumvirate of specialized publications in this field: comprehensive reviews, rapidly published progress reports, and archival documentations. These three publications are integrated and scheduled to pro- vide in international communication the coherency essenti作者: 柔軟 時間: 2025-3-28 02:33 作者: Laconic 時間: 2025-3-28 07:49 作者: 異常 時間: 2025-3-28 12:49
Xiaoxin An,Amer Tahat,Binoy Ravindrani- ronments has justified the present triumvirate of specialized publications in this field: comprehensive reviews, rapidly published research papers and progress reports, and archival documentations. These three international publications are integrated and scheduled to provide the coherency essent作者: DOTE 時間: 2025-3-28 15:16 作者: concentrate 時間: 2025-3-28 19:27
From Passive to Active: Learning Timed Automata Efficientlyues attain increasing interest. Still, many learning approaches can only learn relatively simple types of models and advanced properties like time are ignored in many cases. In this paper we present an active model learning technique for timed automata. For this, we build upon an existing passive le作者: 致詞 時間: 2025-3-28 23:21
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designss of a system . can yield correct designs as well as reliable performance predictions. In this paper we present a correct-by-construction automatic transformation mapping such a verified formal specification of a system design in Maude to a . satisfying the same safety and liveness properties. Two c作者: 敵意 時間: 2025-3-29 04:45 作者: 細(xì)查 時間: 2025-3-29 10:50 作者: 擁擠前 時間: 2025-3-29 14:50
Simplifying Neural Networks Using Formal Verificationness of these engines on real-world DNNs is an important step towards their wider adoption. We present a tool that can leverage existing verification engines in performing a novel application: neural network simplification, through the reduction of the size of a DNN without harming its accuracy. We 作者: Statins 時間: 2025-3-29 16:31
Neural Simplex Architecturelearning) of autonomous and other complex systems without unduly sacrificing performance. NSA is inspired by the Simplex control architecture of Sha et al., but with some significant differences. In the traditional approach, the advanced controller (AC) is treated as a black box; when the decision m作者: 喪失 時間: 2025-3-29 20:07 作者: Antimicrobial 時間: 2025-3-30 00:11
Benchmarking Software Model Checkers on Automotive Code automatically generated from Simulink open-loop controller models. Its diverse features (decision logic, floating-point and pointer arithmetic, rate limiters and state-flow systems) and the extensive use of floating-point variables make verifying the code highly challenging. Our study reveals large
