Login / Signup

Cyber Physical System Integration and Configuration Guided by Satisfiability Modulo Theories.

Kishore PochirajuSanjai Narain
Published in: IRI (2015)
Keyphrases
  • cyber physical systems
  • satisfiability modulo theories
  • modulo theories
  • artificial intelligence
  • low cost
  • data collection