標題: Titlebook: Bridging the Gap Between AI and Reality; First International Bernhard Steffen Conference proceedings 2024 The Editor(s) (if applicable) an [打印本頁] 作者: Gram114 時間: 2025-3-21 18:54
書目名稱Bridging the Gap Between AI and Reality影響因子(影響力)
書目名稱Bridging the Gap Between AI and Reality影響因子(影響力)學科排名
書目名稱Bridging the Gap Between AI and Reality網(wǎng)絡公開度
書目名稱Bridging the Gap Between AI and Reality網(wǎng)絡公開度學科排名
書目名稱Bridging the Gap Between AI and Reality被引頻次
書目名稱Bridging the Gap Between AI and Reality被引頻次學科排名
書目名稱Bridging the Gap Between AI and Reality年度引用
書目名稱Bridging the Gap Between AI and Reality年度引用學科排名
書目名稱Bridging the Gap Between AI and Reality讀者反饋
書目名稱Bridging the Gap Between AI and Reality讀者反饋學科排名
作者: podiatrist 時間: 2025-3-22 00:01
,Best Practices aus ausgew?hlten Industrien,, we first discuss the engineering and research challenges associated with the design and verification of such systems. Then, based on the observation that existing works cannot actually achieve provable guarantees, we promote a two-step verification method for the ultimate achievement of provable statistical guarantees.作者: 得罪 時間: 2025-3-22 02:33 作者: Myosin 時間: 2025-3-22 08:33
https://doi.org/10.1007/978-3-8349-8649-8sions using statistical model checking (SMC-based learning), which uses the results from deductive verification as a shield to ensure that only safe actions are chosen. We take component failures into account and learn a schedule that is optimized for performance and ensures resilience in a given Simulink model.作者: 脊椎動物 時間: 2025-3-22 09:17 作者: 完成才會征服 時間: 2025-3-22 14:04 作者: coddle 時間: 2025-3-22 18:26
Track C1: Safety Verification of?Deep Neural Networks (DNNs)k compiles and publishes benchmarks comprising machine learning models and their specifications across domains such as computer vision, finance, security, and others. These benchmarks will help assess the suitability and applicability of formal verification methods in diverse domains.作者: 夾克怕包裹 時間: 2025-3-22 21:42
Zur begrenzten Organisierbarkeit von Führungential of the proposed method: we successfully synthesized mimic programs for neural networks trained on the MNIST and the Pima Indians diabetes data sets. All experiments were performed using the SMT-based .synthesis tool.作者: AWRY 時間: 2025-3-23 05:21 作者: Substance-Abuse 時間: 2025-3-23 06:17
Managementnachwuchs erfolgreich machenfor neural network verification. To increase the completeness and the scalability of the analysis, we develop a two-step verification method involving abstract interpretation and simulation-based falsification. Numerical results confirm the applicability of the approach.作者: Chivalrous 時間: 2025-3-23 12:18 作者: 憤怒事實 時間: 2025-3-23 16:03
Towards a?Formal Account on?Negative Latency-directed behaviors in Markov decision processes. Then, we present and characterize methods to synthesize predictions with formal quality criteria that can be turned into negative latency. We provide an outlook on applications of our approach in the settings of formal methods, reinforcement learning, and supervised learning.作者: enfeeble 時間: 2025-3-23 18:30
Formal Verification of?a?Neural Network Based Prognostics System for?Aircraft Equipmentfor neural network verification. To increase the completeness and the scalability of the analysis, we develop a two-step verification method involving abstract interpretation and simulation-based falsification. Numerical results confirm the applicability of the approach.作者: VALID 時間: 2025-3-23 22:21
Conference proceedings 2024nd legal implications of AI-systems in practice; ways to make controlled use of AI via the various kinds of formal methods-based validation techniques; dedicated applications scenarios which may allow certain levels of assistance; and education in times of deep learning.?.作者: libertine 時間: 2025-3-24 06:08
Conference proceedings 2024in Crete, Greece, in October 2023.?The papers included in this book focus on the following topics: The nature of AI-based systems; ethical, economic and legal implications of AI-systems in practice; ways to make controlled use of AI via the various kinds of formal methods-based validation techniques作者: TIA742 時間: 2025-3-24 09:13
0302-9743 techniques; dedicated applications scenarios which may allow certain levels of assistance; and education in times of deep learning.?.978-3-031-46001-2978-3-031-46002-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 方便 時間: 2025-3-24 11:11 作者: 聯(lián)邦 時間: 2025-3-24 18:22 作者: 精確 時間: 2025-3-24 22:34
https://doi.org/10.1007/978-3-8351-9089-4We are happy to present the proceedings of AISoLA’s Track C2: ..作者: 向外供接觸 時間: 2025-3-24 23:14
,Gründer-CEOs und ihr Führungsverhalten,We revisit the principle of Smart Sampling which makes it possible to apply Statistical Model Checking on stochastic and non-deterministic systems. We point out difficulties in the design of the initial algorithm and we propose effective solutions to solve them. Our contributions are implemented in the Plasma tool.作者: Hangar 時間: 2025-3-25 06:04
Welcome Remarks from?AISoLA 2023/Track C2 ChairsWe are happy to present the proceedings of AISoLA’s Track C2: ..作者: 容易做 時間: 2025-3-25 11:11
Optimized Smart SamplingWe revisit the principle of Smart Sampling which makes it possible to apply Statistical Model Checking on stochastic and non-deterministic systems. We point out difficulties in the design of the initial algorithm and we propose effective solutions to solve them. Our contributions are implemented in the Plasma tool.作者: Credence 時間: 2025-3-25 14:22 作者: cancellous-bone 時間: 2025-3-25 17:33 作者: 水獺 時間: 2025-3-25 22:19
978-3-031-46001-2The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl作者: TIA742 時間: 2025-3-26 00:35
https://doi.org/10.1007/978-3-8351-9089-4al “explanation” for a decision is a chronicle of the steps used to arrive at the decision. Herb Simon’s “bounded rationality” is the observation that the ability of a human brain to handle algorithmic complexity and data is limited. As a consequence, human decision-making in complex cases mixes som作者: oblique 時間: 2025-3-26 05:15 作者: HAIL 時間: 2025-3-26 08:31
,Best Practices aus ausgew?hlten Industrien,nges. Among the challenges, it is known that a rigorous, yet practical, way of achieving safety guarantees is one of the most prominent. In this paper, we first discuss the engineering and research challenges associated with the design and verification of such systems. Then, based on the observation作者: 燈泡 時間: 2025-3-26 13:04
https://doi.org/10.1007/978-3-8349-8649-8s. Subsequently, the DeepAbstraction algorithm has recently become one of the leading techniques in this area. It employs a box-abstraction concept, the efficiency of which depends on the tau parameter, the clustering parameter, that influences the size of these boxes. The conclusion of the previous作者: agitate 時間: 2025-3-26 18:20 作者: 美色花錢 時間: 2025-3-26 22:06
Zur begrenzten Organisierbarkeit von Führunged for easy comprehension and validation by humans. Our approach takes input-output samples from complex machine learning models, such as deep neural networks, and automatically derives interpretable .. A mimic program precisely imitates the behavior of an opaque model over the provided data. We dis作者: GRE 時間: 2025-3-27 03:21
Managementmoden in der Verwaltungrpret and verify, and they operate in stochastic and unknown environments with high-dimensional state space. These complexities make analyses of the internals of LECs and manual modeling of the environments extremely challenging. Numerous combinations of automata learning with verification technique作者: 變形詞 時間: 2025-3-27 08:10
Managementmoden in der Verwaltungsks. Nevertheless, their integration into safety-critical systems, such as in the aerospace or automotive domains, poses a significant challenge due to the threat of .: perturbations in inputs that might cause the DNN to make grievous mistakes. Multiple studies have demonstrated that even modern DNN作者: Stricture 時間: 2025-3-27 12:14 作者: Hirsutism 時間: 2025-3-27 15:48 作者: 辭職 時間: 2025-3-27 17:58
Managementnachwuchs erfolgreich machenmechanical equipment. We provide mathematical formalizations of requirements of the estimator, such as stability and monotonicity, as properties. To efficiently apply existing tools for verification of neural networks, we reduce the verification of global properties to a representative set of local 作者: 噴出 時間: 2025-3-27 22:07
https://doi.org/10.1007/978-3-8349-4612-6t the preimage of a polyhedral set is again a union of polyhedral sets and can be effectively computed. We show several applications of computing the preimage for analysis and interpretability of neural networks.作者: ARCH 時間: 2025-3-28 02:52
https://doi.org/10.1007/978-3-642-87406-2d control. LEAS are often safety-critical. The development and integration of trustworthy ML components present new challenges that extend beyond the boundaries of system’s design to the system’s operation in its real environment. This paper introduces the methodology and tools developed within the 作者: 使混合 時間: 2025-3-28 07:18 作者: Complement 時間: 2025-3-28 13:30
The Inverse Problem for?Neural Networkst the preimage of a polyhedral set is again a union of polyhedral sets and can be effectively computed. We show several applications of computing the preimage for analysis and interpretability of neural networks.作者: GROUP 時間: 2025-3-28 17:24 作者: 預感 時間: 2025-3-28 19:25 作者: 跑過 時間: 2025-3-28 22:56
https://doi.org/10.1007/978-3-8349-8649-8d combined parameterized boxes. This approach leverages the collective verdicts of monitors with various tau values to evaluate network predictions. We assign appropriate weights to these verdicts to ensure that no single verdict influences the decision-making process, thereby ensuring balance. Furt作者: Biofeedback 時間: 2025-3-29 04:29
Managementmoden in der Verwaltunguracy guarantees on learned models are not strictly necessary. Through a combination of automata learning, testing, and statistics, we perform testing-based verification with statistical guarantees in the absence of guarantees on the learned automata. We showcase our approach by testing deep reinfor作者: exigent 時間: 2025-3-29 09:59
Managementmoden in der Verwaltungory. Our tool operates on pre-trained, black-box classification DNNs, and generates input samples belonging to an output category of interest. It measures the DNN’s susceptibility to adversarial inputs around these inputs, and aggregates the results to infer the overall global categorial robustness 作者: 朦朧 時間: 2025-3-29 13:33
https://doi.org/10.1007/978-3-642-87406-2imulation-based testing and the operation of LEAS is the monitoring and enforcement of safety, security and performance properties and the acquisition of information for the system’s operation in its environment. Finally, we show how the FOCETA approach has been applied to realistic continuous engin作者: Ventilator 時間: 2025-3-29 16:27 作者: 傲慢物 時間: 2025-3-29 19:56 作者: 羽毛長成 時間: 2025-3-30 01:17
Shielded Reinforcement Learning for?Hybrid Systemstistical safety guarantees with a prototype implementation and .. Furthermore, we study the impact of the synthesized shield when applied as either a pre-shield (applied before learning a controller) or a post-shield (only applied after learning a controller). We experimentally demonstrate superiori作者: eucalyptus 時間: 2025-3-30 07:27
DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxesd combined parameterized boxes. This approach leverages the collective verdicts of monitors with various tau values to evaluate network predictions. We assign appropriate weights to these verdicts to ensure that no single verdict influences the decision-making process, thereby ensuring balance. Furt作者: CLOUT 時間: 2025-3-30 11:30
Differential Safety Testing of Deep RL Agents Enabled by Automata Learninguracy guarantees on learned models are not strictly necessary. Through a combination of automata learning, testing, and statistics, we perform testing-based verification with statistical guarantees in the absence of guarantees on the learned automata. We showcase our approach by testing deep reinfor作者: MOT 時間: 2025-3-30 15:58 作者: 記憶 時間: 2025-3-30 19:26 作者: 遠地點 時間: 2025-3-30 21:48 作者: 生存環(huán)境 時間: 2025-3-31 03:11
Deep Neural Networks, Explanations, and?Rationalityal “explanation” for a decision is a chronicle of the steps used to arrive at the decision. Herb Simon’s “bounded rationality” is the observation that the ability of a human brain to handle algorithmic complexity and data is limited. As a consequence, human decision-making in complex cases mixes som作者: opinionated 時間: 2025-3-31 08:25
Shielded Reinforcement Learning for?Hybrid Systemss state, is known to be intricately hard. Reinforcement learning has been leveraged to construct near-optimal controllers, but their behavior is not guaranteed to be safe, even when it is encouraged by reward engineering. One way of imposing safety to a learned controller is to use a ., which is cor作者: GNAT 時間: 2025-3-31 10:43
What, Indeed, is an?Achievable Provable Guarantee for?Learning-Enabled Safety-Critical Systemsnges. Among the challenges, it is known that a rigorous, yet practical, way of achieving safety guarantees is one of the most prominent. In this paper, we first discuss the engineering and research challenges associated with the design and verification of such systems. Then, based on the observation作者: VICT 時間: 2025-3-31 13:27
DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxess. Subsequently, the DeepAbstraction algorithm has recently become one of the leading techniques in this area. It employs a box-abstraction concept, the efficiency of which depends on the tau parameter, the clustering parameter, that influences the size of these boxes. The conclusion of the previous作者: 邪惡的你 時間: 2025-3-31 20:42
