"Multi-Objective Controller Synthesis with Uncertain Human Preferences" - Supporting Files

Paper: "Multi-Objective Controller Synthesis with Uncertain Human Preferences"
by Shenghui Chen, Kayla Boggess, David Parker and Lu Feng

Included below are the PRISM models and properties files for the benchmarks featured in the paper.

• uav: Unmanned aerial vehicle (adapted from [FWHT16])
  
  
  • Model: uav.prism
  • Properties: uav.props
  • MILP files: uav_lp.zip
  
  
• taskgraph: Task-Graph Scheduling (adapted from [NPS13])
  
  
  • Model: taskgraph.prism
  • Properties: taskgraph.props
  • MILP files: taskgraph_lp.zip
  
  
• teamform: Team formation protocol (adapted from [CKPS11])
  
  
  • Models: teamform_2.prism, teamform_3.prism
  • Properties: teamform.props
  • MILP files: teamform_lp.zip