Suchergebnisse - Kochenderfer, Mykel J. 1980-

  • Treffer 1 – 7 von 7
Treffer filtern
  1. 1
    Buchumschlag

    Algorithms for verifying deep neural networks
    von Liu, Changliu, Arnon, Tomer, Lazarus, Christopher, Strong, Christopher, Barrett, Clark, Kochenderfer, Mykel J. 1980-

    Veröffentlicht 2021
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Decision making under uncertainty: theory and application
    von Kochenderfer, Mykel J. 1980-

    Veröffentlicht 2015
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Decision making under uncertainty: theory and application
    von Kochenderfer, Mykel J. 1980-

    Veröffentlicht 2015
    Online lesen
    E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Algorithms for optimization
    von Kochenderfer, Mykel J. 1980-, Wheeler, Tim Allan

    Veröffentlicht 2019
    Online lesen (frei zugänglich)
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Algorithms for decision making
    von Kochenderfer, Mykel J. 1980-, Wheeler, Tim Allan, Wray, Kyle Hollins

    Veröffentlicht 2022
    Online lesen (frei zugänglich)
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Algorithms for Validation
    von Kochenderfer, Mykel J. 1980-, Katz, Sydney M., Corso, Anthony L., Moss, Robert J.

    Veröffentlicht 2025
    Online lesen (frei zugänglich)
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

    Decision making under uncertainty: theory and application
    von Kochenderfer, Mykel J. 1980-

    Veröffentlicht 2015
    Online lesen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: