SOLICITATION NOTICE
A -- Formal Mission Specification and Synthesis Techniques - Broad Agency Announcement (BAA) - Full Solicitation
- Notice Date
- 3/14/2014
- Notice Type
- Combined Synopsis/Solicitation
- NAICS
- 541712
— Research and Development in the Physical, Engineering, and Life Sciences (except Biotechnology)
- Contracting Office
- Department of the Air Force, Air Force Materiel Command, AFRL/RQK - WPAFB, AFRL/RQK, 2310 Eighth Street, Building 167, Wright-Patterson AFB, Ohio, 45433-7801, United States
- ZIP Code
- 45433-7801
- Solicitation Number
- BAA-2014-0005-RQKPC
- Archive Date
- 5/13/2014
- Point of Contact
- Stephannie Siembab, Phone: (937) 255-0340, John McClellan, Phone: (937) 656-9026
- E-Mail Address
-
stephannie.siembab@us.af.mil, john.mcclellan.2@us.af.mil
(stephannie.siembab@us.af.mil, john.mcclellan.2@us.af.mil)
- Small Business Set-Aside
- N/A
- Description
- Initial Announcement Air Force Research Laboratory, AFRL/RQQA, Wright Research Site is soliciting technical and cost proposals on the research effort to investigate the use of formal methods and other formal mathematical frameworks for design and verification of autonomous and/or human-automation systems. In particular, focus on systems that use multiple autonomous vehicles to plan and execute missions that consist of multiple tasks, with the potential for collaboration with human operators.
- Web Link
-
FBO.gov Permalink
(https://www.fbo.gov/spg/USAF/AFMC/AFRLWRS/BAA-2014-0005-RQKPC/listing.html)
- Place of Performance
- Address: Wright Research Site, Wright-Patterson AFB, Ohio, United States
- Record
- SN03311847-W 20140316/140314235223-488d3abcce8776f671daabb61094643c (fbodaily.com)
- Source
-
FedBizOpps Link to This Notice
(may not be valid after Archive Date)
| FSG Index | This Issue's Index | Today's FBO Daily Index Page |