BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees

von Serbinowski, Bernard
Veröffentlicht in International Conference on Software Engineering and Formal Methods (20. : 2022 : Berlin) Software engineering and formal methods (2022)

Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Leaming

von Hamilton, Nathaniel
Veröffentlicht in International Conference on Software Engineering and Formal Methods (20. : 2022 : Berlin) Software engineering and formal methods (2022)

ASSURING LEARNING-ENABLED COMPONENTS IN SMALL UNMANNED AIRCRAFT SYSTEMS

von Muvva, Krishna
Veröffentlicht in AIAA SciTech Forum and Exposition (2021 : Online) Intelligent systems ; Volume 2 of 3 (2021)

Beyond Selecting a Methodology: Discussing Research Quality, Ethical, and Equity Considerations in Qualitative Engineering Education Research

von Josiam, Malini
Veröffentlicht in ASEE Annual Conference (129. : 2022 : Minneapolis, Minn.) Excellence through diversity ; Volume 27 of 30 (2023)

Improved Geometric Path Enumeration for Verifying RelLU Neural Networks

von Bak, Stanley
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)

Verification of Deep Convolutional Neural Networks Using ImageStars

von Tran, Hoang-Dung
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)

Reachability Analysis of a General Class of Neural Ordinary Differential Equations

von Lopez, Diego Manzanas
Veröffentlicht in FORMATS (20. : 2022 : Warschau) Formal modeling and analysis of timed systems (2022)

Physics Guided Neural Networks for Spatio-Temporal Super-resolution of Turbulent Flows

von Bao, Tianshu
Veröffentlicht in Conference on Uncertainty in Artificial Intelligence (38. : 2022 : Eindhoven) 38th Conference on Uncertainty in Artificial Intelligence (UAI 2022) ; Volume 1 of 3 (2023)

Neural Network Repair with Reachability Analysis

von Yang, Xiaodong
Veröffentlicht in FORMATS (20. : 2022 : Warschau) Formal modeling and analysis of timed systems (2022)

Board 378: Responsive Support Structures for Marginalized Students in Engineering: Insights from Years 1–3

von Lee, Walter C.
Veröffentlicht in ASEE Annual Conference and Exposition (130. : 2023 : Baltimore, Md.) American Society for Engineering Education Annual Conference and Exposition 2023 ; Volume 3 of 36 (2023)

Characteristics of Visualizations and Texts in Elementary School Biology Books

von Menendez, David
Veröffentlicht in Cognitive Science Society (42. : 2020 : Online) Developing a mind: learning in humans, animals, and machines ; Volume 4 of 5 (2020)

VERIFICATION OF NEURAL NETWORK COMPRESSION OF ACAS XU LOOKUP TABLES WITH STAR SET REACHABILITY

von Lopez, Diego Manzanas
Veröffentlicht in AIAA SciTech Forum and Exposition (2021 : Online) Intelligent systems ; Volume 2 of 3 (2021)

Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability

von Tran, Hoang-Dung
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

NNV: The Neural Network Verification Tool for Deep Neural Networks and Leaming-Enabled Cyber-Physical Systems

von Tran, Hoang-Dung
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)

Francesco Ignazio Lazzari's "Discrizione della villa pliniana" : visions of antiquity in the landscape of Umbria

von Tchikine, Anatole
Veröffentlicht 2021

AI verification : First International Symposium, SAIV 2024, Montréal, QC, Canada, July 22-23, 2024 : proceedings

Veröffentlicht 2024