Discovering Decision Manifolds to Assure Trusted Autonomous Systems
Fuente:
arXiv
Salvato in:
| Autori principali: | Litton, Matthew, Drusinsky, Doron, Michael, James Bret |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Assured LLM-Based Software Engineering
di: Alshahwan, Nadia, et al.
Pubblicazione: (2024)
di: Alshahwan, Nadia, et al.
Pubblicazione: (2024)
Assuring Safety of Vision-Based Swarm Formation Control
di: Hsieh, Chiao, et al.
Pubblicazione: (2022)
di: Hsieh, Chiao, et al.
Pubblicazione: (2022)
Quality-Assured Fuzz Harness Generation via the Four Principles Framework
di: Sheng, Ze, et al.
Pubblicazione: (2026)
di: Sheng, Ze, et al.
Pubblicazione: (2026)
Assured Automatic Programming via Large Language Models
di: Mirchev, Martin, et al.
Pubblicazione: (2024)
di: Mirchev, Martin, et al.
Pubblicazione: (2024)
Harden and Catch for Just-in-Time Assured LLM-Based Software Testing: Open Research Challenges
di: Harman, Mark, et al.
Pubblicazione: (2025)
di: Harman, Mark, et al.
Pubblicazione: (2025)
RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
di: Bai, Yubo, et al.
Pubblicazione: (2025)
di: Bai, Yubo, et al.
Pubblicazione: (2025)
First-principles Based 3D Virtual Simulation Testing for Discovering SOTIF Corner Cases of Autonomous Driving
di: Li, Lehang, et al.
Pubblicazione: (2024)
di: Li, Lehang, et al.
Pubblicazione: (2024)
Assuring the Safety of Reinforcement Learning Components: AMLAS-RL
di: Imrie, Calum Corrie, et al.
Pubblicazione: (2025)
di: Imrie, Calum Corrie, et al.
Pubblicazione: (2025)
Moral Testing of Autonomous Driving Systems
di: Tang, Wenbing, et al.
Pubblicazione: (2025)
di: Tang, Wenbing, et al.
Pubblicazione: (2025)
Why Software Signing (Still) Matters: Trust Boundaries in the Software Supply Chain
di: Kalu, Kelechi G., et al.
Pubblicazione: (2025)
di: Kalu, Kelechi G., et al.
Pubblicazione: (2025)
Agile System Development Lifecycle for AI Systems: Decision Architecture
di: Gill, Asif Q.
Pubblicazione: (2025)
di: Gill, Asif Q.
Pubblicazione: (2025)
An Eye for Trust: An Exploration of Developers' Trust Perceptions Through Urgency and Reputation
di: Yabesi, Sara, et al.
Pubblicazione: (2026)
di: Yabesi, Sara, et al.
Pubblicazione: (2026)
Runtime Enforcement for Operationalizing Ethics in Autonomous Systems
di: De Sanctis, Martina, et al.
Pubblicazione: (2026)
di: De Sanctis, Martina, et al.
Pubblicazione: (2026)
VAPU: System for Autonomous Legacy Code Modernization
di: Ala-Salmi, Valtteri, et al.
Pubblicazione: (2025)
di: Ala-Salmi, Valtteri, et al.
Pubblicazione: (2025)
ADPerf: Investigating and Testing Performance in Autonomous Driving Systems
di: Pham, Tri Minh-Triet, et al.
Pubblicazione: (2025)
di: Pham, Tri Minh-Triet, et al.
Pubblicazione: (2025)
Misbehavior Forecasting for Focused Autonomous Driving Systems Testing
di: Naziri, M M Abid, et al.
Pubblicazione: (2025)
di: Naziri, M M Abid, et al.
Pubblicazione: (2025)
Causality-aware Safety Testing for Autonomous Driving Systems
di: Tang, Wenbing, et al.
Pubblicazione: (2025)
di: Tang, Wenbing, et al.
Pubblicazione: (2025)
Foundation Models for Autonomous Driving System: An Initial Roadmap
di: Wu, Xiongfei, et al.
Pubblicazione: (2025)
di: Wu, Xiongfei, et al.
Pubblicazione: (2025)
Modeling Language for Scenario Development of Autonomous Driving Systems
di: Aoki, Toshiaki, et al.
Pubblicazione: (2025)
di: Aoki, Toshiaki, et al.
Pubblicazione: (2025)
GARL: Genetic Algorithm-Augmented Reinforcement Learning to Detect Violations in Marker-Based Autonomous Landing Systems
di: Liang, Linfeng, et al.
Pubblicazione: (2023)
di: Liang, Linfeng, et al.
Pubblicazione: (2023)
A Systematic Mapping Study on the Debugging of Autonomous Driving Systems
di: Shaw, Nathan, et al.
Pubblicazione: (2026)
di: Shaw, Nathan, et al.
Pubblicazione: (2026)
MarMot: Metamorphic Runtime Monitoring of Autonomous Driving Systems
di: Ayerdi, Jon, et al.
Pubblicazione: (2023)
di: Ayerdi, Jon, et al.
Pubblicazione: (2023)
On the Practices of Autonomous Systems Development: Survey-based Empirical Findings
di: Goseva-Popstojanova, Katerina, et al.
Pubblicazione: (2025)
di: Goseva-Popstojanova, Katerina, et al.
Pubblicazione: (2025)
MoDitector: Module-Directed Testing for Autonomous Driving Systems
di: Wang, Renzhi, et al.
Pubblicazione: (2025)
di: Wang, Renzhi, et al.
Pubblicazione: (2025)
Trust Over Fear: How Motivation Framing in System Prompts Affects AI Agent Debugging Depth
di: Ji, Wu
Pubblicazione: (2026)
di: Ji, Wu
Pubblicazione: (2026)
Leveraging Language Models to Discover Evidence-Based Actions for OSS Sustainability
di: Khan, Nafiz Imtiaz, et al.
Pubblicazione: (2026)
di: Khan, Nafiz Imtiaz, et al.
Pubblicazione: (2026)
Decision Models for Selecting Architecture Patterns and Strategies in Quantum Software Systems
di: Aktar, Mst Shamima, et al.
Pubblicazione: (2025)
di: Aktar, Mst Shamima, et al.
Pubblicazione: (2025)
Testing Autonomous Driving Systems -- What Really Matters and What Doesn't
di: Li, Changwen, et al.
Pubblicazione: (2025)
di: Li, Changwen, et al.
Pubblicazione: (2025)
TrustOps: Continuously Building Trustworthy Software
di: Brito, Eduardo, et al.
Pubblicazione: (2024)
di: Brito, Eduardo, et al.
Pubblicazione: (2024)
RepoMod-Bench: A Benchmark for Code Repository Modernization via Implementation-Agnostic Testing
di: Li, Xuefeng, et al.
Pubblicazione: (2026)
di: Li, Xuefeng, et al.
Pubblicazione: (2026)
Risk Scenario Generation for Autonomous Driving Systems based on Causal Bayesian Networks
di: Zhao, Jiangnan, et al.
Pubblicazione: (2024)
di: Zhao, Jiangnan, et al.
Pubblicazione: (2024)
Perception-Guided Fuzzing for Simulated Scenario-Based Testing of Autonomous Driving Systems
di: Pham, Tri Minh Triet, et al.
Pubblicazione: (2024)
di: Pham, Tri Minh Triet, et al.
Pubblicazione: (2024)
Operationalizing Human Values in the Requirements Engineering Process of Ethics-Aware Autonomous Systems
di: Júnior, Everaldo Silva, et al.
Pubblicazione: (2026)
di: Júnior, Everaldo Silva, et al.
Pubblicazione: (2026)
Autonomous Legacy Web Application Upgrades Using a Multi-Agent System
di: Ala-Salmi, Valtteri, et al.
Pubblicazione: (2025)
di: Ala-Salmi, Valtteri, et al.
Pubblicazione: (2025)
Coverage-Guided Road Selection and Prioritization for Efficient Testing in Autonomous Driving Systems
di: Ali, Qurban, et al.
Pubblicazione: (2026)
di: Ali, Qurban, et al.
Pubblicazione: (2026)
Constrained Co-evolutionary Metamorphic Differential Testing for Autonomous Systems with an Interpretability Approach
di: Yousefizadeh, Hossein, et al.
Pubblicazione: (2025)
di: Yousefizadeh, Hossein, et al.
Pubblicazione: (2025)
STADA: Specification-based Testing for Autonomous Driving Agents
di: Saha, Joy, et al.
Pubblicazione: (2026)
di: Saha, Joy, et al.
Pubblicazione: (2026)
Blockchain-Based Trust and Transparency in Airline Reservation Systems using Microservices Architecture
di: Barua, Biman, et al.
Pubblicazione: (2024)
di: Barua, Biman, et al.
Pubblicazione: (2024)
Revolutionizing Validation and Verification: Explainable Testing Methodologies for Intelligent Automotive Decision-Making Systems
di: Eris, Halit, et al.
Pubblicazione: (2025)
di: Eris, Halit, et al.
Pubblicazione: (2025)
Architecture Decisions in Quantum Software Systems: An Empirical Study on Stack Exchange and GitHub
di: Aktar, Mst Shamima, et al.
Pubblicazione: (2023)
di: Aktar, Mst Shamima, et al.
Pubblicazione: (2023)
Documenti analoghi
-
Assured LLM-Based Software Engineering
di: Alshahwan, Nadia, et al.
Pubblicazione: (2024) -
Assuring Safety of Vision-Based Swarm Formation Control
di: Hsieh, Chiao, et al.
Pubblicazione: (2022) -
Quality-Assured Fuzz Harness Generation via the Four Principles Framework
di: Sheng, Ze, et al.
Pubblicazione: (2026) -
Assured Automatic Programming via Large Language Models
di: Mirchev, Martin, et al.
Pubblicazione: (2024) -
Harden and Catch for Just-in-Time Assured LLM-Based Software Testing: Open Research Challenges
di: Harman, Mark, et al.
Pubblicazione: (2025)