Formal verification of hybrid systems

By Rajeev Alur. 2011

259 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Control and Systems Engineering, Hardware and Architecture

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

1. Stuart J. Russell
2. Max Tegmark
3. Dan Dewey

In Control and Systems Engineering

1. Stuart J. Russell
2. Max Tegmark
3. Dan Dewey

Citations in the corpus

• Research Priorities for Robust and Beneficial Artificial Intelligence (2015, background): “systems (Alur 2011; Winfield, Blum, and Liu 2014) is highly relevant but also faces the same difficulties.”