Showing 1 - 4 results of 4 for search '"Counterexample"', query time: 0.02s Refine Results
  1. 1
    The third axiom of filling properties

    The third axiom of filling properties by Ridwan Pandiya

    Published 2025-12-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    CAMP: Counterexamples, Abstraction, MDPs, and Policy Refinement for Enhancing Safety, Stability, and Rewards in Reinforcement Learning

    CAMP: Counterexamples, Abstraction, MDPs, and Policy Refinement for Enhancing Safety, Stability, and Rewards in Reinforcement Learning by Ryeonggu Kwon, Gihwon Kwon

    Published 2025-01-01
    Subjects: “…Counterexample-based refinement…”
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Down the Methodological Rabbit Hole

    Down the Methodological Rabbit Hole by David Frydrych

    Published 2018-04-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Autotuning Parallel Programs by Model Checking

    Autotuning Parallel Programs by Model Checking by Natalia Olegovna Garanina, Sergei Petrovich Gorlatch

    Published 2021-12-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: