Books

Handbook of Model Checking

0 Type: Book

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is…

Handbook of Model Checking

0 Type: Book

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is…

On uncertain graphs

by Chen, Lei, Khan, Arijit, Ye, Yuan, (Computer scientist)

fromSynthesis lectures on data management

0 Type: Book

Large-scale, highly interconnected networks, which are often modeled as graphs, pervade both our society and the natural world around us. Uncertainty, on the other hand, is inherent in the underlying data due to a variety of reasons, such as noisy measurements, lack of precise i…