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