Refinement of approximate bisimulations for transfer - from

Other Transaction IDV Awarded Last action

Contract number
HR00112490430
Awardee
Awarding agency
Task orders
0

Award facts

Last date to order
Not on record
IDV ceiling
$5,049,372.00
Contracting staff
NAICS code
Not on record
Set-aside
No set-aside
Competition
Competed Program Solicitation
Pricing
Other

Award details come from SAM.gov/FPDS.

About this IDV

Written by GovTribe AI ·

The Defense Advanced Research Projects Agency awarded an Other Transaction IDV to The Trustees of The University of Pennsylvania on July 11, 2024, with a ceiling value of $5,049,372 for the Transfer from Imprecise and Abstract Models to Autonomous Technologies (TIAMAT) program. This OT IDV sits outside the Federal Acquisition Regulation and represents a multiple-award vehicle.

The TIAMAT effort focuses on refinement of approximate bisimulations for transfer from symbolic models to interactive physics, addressing the translation of imprecise and abstract mathematical and computational models into capabilities supporting autonomous technologies. The University of Pennsylvania brings advanced research capabilities in mathematical sciences and complex systems analysis to the program, positioning the institution as DARPA's academic partner for developing formal methods and model-transfer techniques that bridge theoretical frameworks and practical autonomous system implementations.

No set-aside designation applies to this vehicle. The source does not disclose a period of performance, place of performance beyond the university's Philadelphia location, or ordering activity issued to date under this OT IDV.

Transactions

Action Obligated Date
Supplemental Agreement for work within scope P00005 $0
Supplemental Agreement for work within scope P00004 $104,372
Funding Only Action P00003 $516,390
Funding Only Action P00002 $75,000
Funding Only Action P00001 · Transfer from imprecise and abstract models to autonomous technologies (tiamat) program $94,375
Original award Refinement of approximate bisimulations for transfer - from symbolic models to interactive physicstransfer from imprecise and abstract models to autonomous… $714,437

Subawards

Subcontractor Amount Awarded
The Regents Of The University Of California TRANSFER FROM IMPRECISE AND ABSTRACT MODELS TO AUTONOMOUS TECHNOLOGIES (TIAMAT) PROGRAM Detailed Approach: We will investigate the use of game-theoretic methods… $94,820
The Trustees Of Columbia University In The City Of New York TRANSFER FROM IMPRECISE AND ABSTRACT MODELS TO AUTONOMOUS TECHNOLOGIES (TIAMAT) PROGRAM Robots have made remarkable progress in the last decade. However, much… $541,738

Quick answers

Who was awarded contract HR00112490430?

HR00112490430 was awarded to The Trustees Of The University Of Pennsylvania by Defense Advanced Research Projects Agency (Department of Defense) on July 11, 2024.

How much is contract HR00112490430 worth?

HR00112490430's own ceiling is $5,049,372.

Was contract HR00112490430 competed?

The extent of competition for HR00112490430 was competed.

On GovTribe

See this IDV's full record

  • Every order and transaction
  • The awardee's other awards and teaming partners
  • Similar IDVs and recompete opportunities
  • Ask GovTribe AI about this IDV
Try for free Login