Research Spotlight: Logic and Learning
We help engineers build safe and reliable hardware, software, and cyber-physical systems, using a unique and promising strategy: combining inductive techniques (from the area of machine learning) with deductive techniques (from the area of mathematical logic).
