Search Results - Dutreix, Maxence

  • Showing 1 - 12 results of 12
Refine Results
  1. 1
    Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems

    Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems by Dutreix, Maxence, Coogan, Samuel

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    A barrier function approach to finite-time stochastic system verification and control

    A barrier function approach to finite-time stochastic system verification and control by Santoyo, Cesar, Dutreix, Maxence, Coogan, Samuel

    Published in Automatica (Oxford)
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Abstraction-based synthesis for stochastic systems with omega-regular objectives

    Abstraction-based synthesis for stochastic systems with omega-regular objectives by Dutreix, Maxence, Huh, Jeongmin, Coogan, Samuel

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems With Disturbances

    Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems With Disturbances by Abate, Matthew, Dutreix, Maxence, Coogan, Samuel

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Satisfiability Bounds for co-regular Properties in Interval-valued Markov Chains

    Satisfiability Bounds for co-regular Properties in Interval-valued Markov Chains by Dutreix, Maxence, Coogan, Samuel

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems

    Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems by Dutreix, Maxence, Coogan, Samuel

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Interval-valued Markov Chain Abstraction of Stochastic Systems using Barrier Functions

    Interval-valued Markov Chain Abstraction of Stochastic Systems using Barrier Functions by Dutreix, Maxence, Santoyo, Cesar, Abate, Matthew, Coogan, Samuel

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Satisfiability Bounds for {\omega}-regular Properties in Interval-valued Markov Chains

    Satisfiability Bounds for {\omega}-regular Properties in Interval-valued Markov Chains by Dutreix, Maxence, Coogan, Samuel

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Abstraction-based Synthesis for Stochastic Systems with Omega-Regular Objectives

    Abstraction-based Synthesis for Stochastic Systems with Omega-Regular Objectives by Dutreix, Maxence, Huh, Jeongmin, Coogan, Samuel

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems with Disturbances

    Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems with Disturbances by Abate, Matthew, Dutreix, Maxence, Coogan, Samuel

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    A Barrier Function Approach to Finite-Time Stochastic System Verification and Control

    A Barrier Function Approach to Finite-Time Stochastic System Verification and Control by Santoyo, Cesar, Dutreix, Maxence, Coogan, Samuel

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Verification and Control for Finite-Time Safety of Stochastic Systems via Barrier Functions

    Verification and Control for Finite-Time Safety of Stochastic Systems via Barrier Functions by Santoyo, Cesar, Dutreix, Maxence, Coogan, Samuel

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

Search Tools: