標題: Titlebook: NASA Formal Methods; 15th International S Kristin Yvonne Rozier,Swarat Chaudhuri Conference proceedings 2023 The Editor(s) (if applicable) [打印本頁] 作者: Lampoon 時間: 2025-3-21 16:55
書目名稱NASA Formal Methods影響因子(影響力)
書目名稱NASA Formal Methods影響因子(影響力)學科排名
書目名稱NASA Formal Methods網(wǎng)絡公開度
書目名稱NASA Formal Methods網(wǎng)絡公開度學科排名
書目名稱NASA Formal Methods被引頻次
書目名稱NASA Formal Methods被引頻次學科排名
書目名稱NASA Formal Methods年度引用
書目名稱NASA Formal Methods年度引用學科排名
書目名稱NASA Formal Methods讀者反饋
書目名稱NASA Formal Methods讀者反饋學科排名
作者: 憤憤不平 時間: 2025-3-21 22:14
0302-9743 ring May 16-18, 2023. ..The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. .The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. ?.978-3-031-33169-5978-3-031-33170-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 樹膠 時間: 2025-3-22 03:45 作者: LINES 時間: 2025-3-22 05:35
https://doi.org/10.1007/978-3-031-33170-1reliability; validation; verification; model checking; coverage metrics; equivalence checking; semi-formal作者: GROVE 時間: 2025-3-22 12:45 作者: MIRE 時間: 2025-3-22 16:29 作者: Exaggerate 時間: 2025-3-22 18:12 作者: chronicle 時間: 2025-3-23 00:40
,Reward Shaping from?Hybrid Systems Models in?Reinforcement Learning,einforcement learning more tightly by generating safety-oriented aspects of reward functions from verified hybrid systems models. We demonstrate the approach on a standard reinforcement learning environment for longitudinal vehicle control.作者: ingenue 時間: 2025-3-23 05:25 作者: 躲債 時間: 2025-3-23 07:06 作者: outskirts 時間: 2025-3-23 13:06
Conference proceedings 20236-18, 2023. ..The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. .The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. ?.作者: Incommensurate 時間: 2025-3-23 16:04 作者: arrogant 時間: 2025-3-23 21:01 作者: 披肩 時間: 2025-3-23 23:15
,Learning Symbolic Timed Models from?Concrete Timed Data,ic observation tree as their input and achieve the best results using .-tails. In our experiments, we learn smaller and simpler automata than existing passive timed learners while maintaining accuracy.作者: BLANK 時間: 2025-3-24 03:51
A Framework for Policy Based Negotiation, sufficiency and soundness, policy representation, and negotiation structure. By using our formal models to represent and verify negotiation’s properties we can statically determine that a provably sound, sufficient, and executable protocol is produced.作者: 解開 時間: 2025-3-24 06:30
Rewrite-Based Decomposition of Signal Temporal Logic Specifications,ciently exploring and ranking rewritten formulae as decomposition candidates, and show how to decompose the best candidate. Finally, we compare to previous work on decomposing specifications for multi-agent planning problems, and provide computing and energy grid case studies.作者: 政府 時間: 2025-3-24 11:40 作者: podiatrist 時間: 2025-3-24 17:38
,Multi-objective Task Assignment and?Multiagent Planning with?Hybrid GPU-CPU Acceleration,en point. We provide the first multi-objective model checking framework that simultaneously uses GPU and multi-core acceleration. Our framework manages CPU and GPU devices as a load balancing problem for parallel computation. Our experiments demonstrate that parallelisation achieves significant run time speed-up over sequential computation.作者: entice 時間: 2025-3-24 22:13 作者: Collar 時間: 2025-3-24 23:36 作者: flex336 時間: 2025-3-25 06:42 作者: JEER 時間: 2025-3-25 09:54 作者: Introvert 時間: 2025-3-25 14:23 作者: nuclear-tests 時間: 2025-3-25 18:43
Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes,tangent activation functions. In particular, we abstract the input-output relation of each neuron by a polynomial approximation, which is evaluated in a set-based manner using polynomial zonotopes. While our approach can also can be beneficial for open-loop neural network verification, our main appl作者: hemoglobin 時間: 2025-3-25 23:25 作者: LIMN 時間: 2025-3-26 03:44 作者: BILL 時間: 2025-3-26 08:20 作者: 描述 時間: 2025-3-26 11:19
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access, partially unknown environments. In environments modeled by . Markov decision processes (MDPs), the impact of the agents’ actions are known in terms of successor states but not the stochastics involved. In this paper, we devise a strategy synthesis algorithm for gray-box MDPs via reinforcement learn作者: 貪心 時間: 2025-3-26 14:17 作者: dapper 時間: 2025-3-26 17:08
,Reward Shaping from?Hybrid Systems Models in?Reinforcement Learning,equirements, formal methods for learning-enabled systems, such as closed-loop neural network verification, shielding, falsification, and online reachability analysis, analyze learned controllers for safety violations. Besides filtering unsafe actions during training, these approaches view verificati作者: 連詞 時間: 2025-3-26 23:15 作者: 機警 時間: 2025-3-27 03:13
,Code-Level Formal Verification of?Ellipsoidal Invariant Sets for?Linear Parameter-Varying Systems,ing system with affine parameter dependence. The C code is annotated using ACSL, and the Frama-C’s WP plugin is used to transform the annotations and code into proof objectives. The invariant properties are then formally verified in both the real and float models using the polynomial inequalities pl作者: 流浪 時間: 2025-3-27 08:20 作者: 原諒 時間: 2025-3-27 11:02 作者: 構(gòu)想 時間: 2025-3-27 15:20 作者: PALSY 時間: 2025-3-27 21:11 作者: 提名 時間: 2025-3-28 01:14
,Quantitative Verification and?Strategy Synthesis for?BDI Agents,es: what plan/intention to execute next? We want to reason about agents under both probabilities and non-determinism to determine, for example, probabilities of mission success and the . used to maximise this. We define a Markov Decision Process describing the semantics of the Conceptual Agent Notat作者: Sinus-Rhythm 時間: 2025-3-28 03:26 作者: 加強防衛(wèi) 時間: 2025-3-28 09:00 作者: 獨行者 時間: 2025-3-28 12:50 作者: 寬敞 時間: 2025-3-28 16:14 作者: JIBE 時間: 2025-3-28 20:50
hot topics in the field of fluorescence and closely related disciplines. It summarizes the year’s progress in fluorescence and its applications, with authoritative analytical reviews specialized enough to be attractive to professional researchers, yet also appealing to the wider audience of scienti作者: 放大 時間: 2025-3-29 01:17
Farzaneh Moradkhani,Connor Fibich,Martin Fr?nzleible utility in a single volume reference New volume publishReviews in Fluorescence 2010, the seventh volume of the book serial from Springer, serves as a comprehensive collection of current trends and emerging hot topics in the field of fluorescence and closely related disciplines. It summarizes th作者: predict 時間: 2025-3-29 05:57
Niklas Kochdumper,Christian Schilling,Matthias Althoff,Stanley Bak hot topics in the field of fluorescence and closely related disciplines. It summarizes the year’s progress in fluorescence and its applications, with authoritative analytical reviews specialized enough to be attractive to professional researchers, yet also appealing to the wider audience of scienti作者: Orgasm 時間: 2025-3-29 10:47 作者: acetylcholine 時間: 2025-3-29 15:23
Andrei Aleksandrov,Kim V?llingerible utility in a single volume reference New volume publishReviews in Fluorescence 2010, the seventh volume of the book serial from Springer, serves as a comprehensive collection of current trends and emerging hot topics in the field of fluorescence and closely related disciplines. It summarizes th作者: 呼吸 時間: 2025-3-29 18:19
Cong Liu,Darren Cofer,Denis Osipychevrials, pesticides, and pollutants in water, which lays the grounds for its future potential application to the detection of drugs in body fluids without added reagents. The method is based on synchronous fluorescence spectroscopy (SFS) of organic aromatic compounds or poly-aromatic hydrocarbons (PAH作者: 侵蝕 時間: 2025-3-29 23:20 作者: 虛弱 時間: 2025-3-30 01:34 作者: 大吃大喝 時間: 2025-3-30 06:47 作者: prosperity 時間: 2025-3-30 08:16 作者: CHARM 時間: 2025-3-30 16:12 作者: SLAG 時間: 2025-3-30 20:04
Alberto Bombardelli,Stefano Tonettar detecting various proteins and DNA/RNA fragments from a range of bacteria. Currently, bacterial detection and identification are underpinned by robust instrumentation and cell cultures. Molecular detection strategies are available to detect DNA/RNA and proteins in time periods that range from hour作者: 肉體 時間: 2025-3-30 21:27
Alexandra Forsey-Smerek,Ho Chit Siu,Kevin Leahylasma. It pervades the gravitational potentials of massive galaxies, groups and clusters of galaxies, as well as the filaments of the cosmic web. The physics of this hot medium, such as its dynamics, thermodynamics and chemical composition can be studied using X-ray spectroscopy in great detail. Her作者: Angioplasty 時間: 2025-3-31 03:58 作者: 盤旋 時間: 2025-3-31 08:27 作者: 鄙視 時間: 2025-3-31 12:12 作者: Arb853 時間: 2025-3-31 16:37 作者: 輕浮思想 時間: 2025-3-31 18:29
Apurva Badithela,Josefine B. Graebener,Inigo Incer,Richard M. Murrayce (except for sunspots), the so called .. Bright isolated elements, the granules, are surrounded by a network of interconnected dark lanes. In contrast to W. Herschel, who first reported the existence of some small-scale inhomogeneities on the solar surface in 1801, we now have a basic physical und作者: 窗簾等 時間: 2025-3-31 21:41
Felipe Lisboa Malaquias,Mihail Asavoae,Florian Brandnerhonoured also because, as someone who is not an astronomer, I have been given the opportunity to speak to you on a technological and scientific subject with which you are far more familiar than I am — namely, European and other international cooperation in large-scale astronomical projects. I consid作者: BLAND 時間: 2025-4-1 02:56
P. Rivière,N. K. Singh,Y. A?t-Ameur,G. Dupontnown leading figures in the plasmonics field.Accessible util.Reviews in Plasmonics .2010, the first volume of the new book serial from Springer, serves as a comprehensive collection of current trends and emerging hot topics in the field of Plasmonics and closely related disciplines. It summarizes th作者: Colonoscopy 時間: 2025-4-1 08:02 作者: 性行為放縱者 時間: 2025-4-1 10:22 作者: exceptional 時間: 2025-4-1 14:33 作者: antenna 時間: 2025-4-1 20:52 作者: MOTTO 時間: 2025-4-1 23:24
Christel Baier,Clemens Dubslaff,Patrick Wienh?ft,Stefan J. KiebelE performance. The optical imaging based on SPCE and some examples of the analytical applications of SPCE are also highlighted. Recent achievements in SPCE suggest that it could provide new technical platforms with widespread potential applications in various areas, such as nucleic acid, protein and
