Search Results - Gonschorek, Tim

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Out-of-Distribution Detection with Logical Reasoning

    Out-of-Distribution Detection with Logical Reasoning by Kirchheim, Konstantin, Gonschorek, Tim, Ortmeier, Frank

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Slice or Unfold - Experiments on Checking Synchronous Models with Backwards Slicing

    Slice or Unfold - Experiments on Checking Synchronous Models with Backwards Slicing by Gonschorek, Tim, Ortmeier, Frank

    Get full text
    Items that this one cites
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Addressing Randomness in Evaluation Protocols for Out-of-Distribution Detection

    Addressing Randomness in Evaluation Protocols for Out-of-Distribution Detection by Kirchheim, Konstantin, Gonschorek, Tim, Ortmeier, Frank

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Learning References with Gaussian Processes in Model Predictive Control applied to Robot Assisted Surgery

    Learning References with Gaussian Processes in Model Predictive Control applied to Robot Assisted Surgery by Matschek, Janine, Gonschorek, Tim, Hanses, Magnus, Elkmann, Norbert, Ortmeier, Frank, Findeisen, Rolf

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: