Alan K. Mackworth's Publications

• Sorted by Date • Classified by Publication Type • Sorted by First Author Last Name • Classified by Author Last Name •

Probabilistic Constraint Nets: Constraint-Based Approach to Modeling and Verification of Hybrid Systems with Uncertainty

R. St-Aubin and Alan K. Mackworth. Probabilistic Constraint Nets: Constraint-Based Approach to Modeling and Verification of Hybrid Systems with Uncertainty. Technical ReportDepartment of Computer Science, University of British Columbia, 2004.

Download

[PDF]553.1kB  

Abstract

@TechReport{TR-04-05,
  author =	 {R. St-Aubin and Alan K. Mackworth},
  title =	 {Probabilistic Constraint Nets: Constraint-Based Approach to Modeling and Verification of Hybrid Systems with Uncertainty},
  Institution =  {Department of Computer Science, University of British Columbia},
  year =	 {2004}, 
  month =        {April},
  abstract =	 {},
  bib2html_pubtype ={Tech Report},
  bib2html_rescat ={},
}

Generated by bib2html.pl (written by Patrick Riley ) on Wed Apr 23, 2014 19:08:35