Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Calin Belta; Boyan Yordanov; Ebru Aydin Gol
    978-3-319-50763-7
    2017
    Edition 1
    • Provides a self-contained exposition of temporal logic control for finite nondeterministic systems, which are useful even for seasoned formal methods researchers
    • Presents formal verification and control algorithms for discrete-time dynamical systems
    • Intended for a broad audience of scientists and engineers interested in formal methods and controls
    • Includes supplementary material: sn.pub/extras

    €320

Is this helpful?

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.