相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Using formal methods for autonomous systems: Five recipes for formal verification
Matt Luckcuck
PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY (2023)
Vehicle routing problems over time: a survey
A. Mor et al.
ANNALS OF OPERATIONS RESEARCH (2022)
Technology roadmapping methodology for future hypersonic transportation systems
Nicole Viola et al.
ACTA ASTRONAUTICA (2022)
Requirement Specification, Analysis and Verification for Autonomous Systems
Alessandro Pinto
2021 58TH ACM/IEEE DESIGN AUTOMATION CONFERENCE (DAC) (2021)
Toward a methodology of requirements definition for prognostics and health management system to support aircraft predictive maintenance
Rui Li et al.
AEROSPACE SCIENCE AND TECHNOLOGY (2020)
Markov Decision Processes For Multi-Objective Satellite Task Planning
Duncan Eddy et al.
2020 IEEE AEROSPACE CONFERENCE (AEROCONF 2020) (2020)
Operational Context-Based Design Method of Autonomous Vehicles Logical Architectures
Youssef Damak et al.
2020 IEEE 15TH INTERNATIONAL CONFERENCE OF SYSTEM OF SYSTEMS ENGINEERING (SOSE 2020) (2020)
Development of a Concept of Operations for Autonomous Systems
Antti Vaatanen et al.
ADVANCES IN HUMAN FACTORS IN ROBOTS AND UNMANNED SYSTEMS (2020)
Decision Making in Multiagent Systems: A Survey
Yara Rizk et al.
IEEE TRANSACTIONS ON COGNITIVE AND DEVELOPMENTAL SYSTEMS (2018)
System Design in the Era of IoT - Meeting the Autonomy Challenge
Joseph Sifakis
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (2018)
Conceptual design of a crewed reusable space transportation system aimed at parabolic flights: stakeholder analysis, mission concept selection, and spacecraft architecture definition
Roberta Fusaro et al.
CEAS SPACE JOURNAL (2017)
Challenges in Autonomous Vehicle Testing and Validation
Philip Koopman et al.
SAE INTERNATIONAL JOURNAL OF TRANSPORTATION SAFETY (2016)
Methodology for requirements definition of complex space missions and systems
Maria Antonietta Viscio et al.
ACTA ASTRONAUTICA (2015)
Real-Time Monte Carlo Tree Search in Ms Pac-Man
Tom Pepels et al.
IEEE TRANSACTIONS ON COMPUTATIONAL INTELLIGENCE AND AI IN GAMES (2014)
Verification and validation meet planning and scheduling
Saddek Bensalem et al.
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (2014)
AMALIA Mission Lunar Rover-The conceptual design of the Team ITALIA Rover, candidate for the Google Lunar X Prize Challenge
Alberto Della Torre et al.
ACTA ASTRONAUTICA (2010)
The open vehicle routing problem: Algorithms, large-scale test problems, and computational results
Feiyue Li et al.
COMPUTERS & OPERATIONS RESEARCH (2007)
On the capacitated vehicle routing problem
TK Ralphs et al.
MATHEMATICAL PROGRAMMING (2003)
Results from the Deep Space 1 technology validation mission
MD Rayman et al.
ACTA ASTRONAUTICA (2000)
A heuristic method for the open vehicle routing problem
D Sariklis et al.
JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY (2000)