Search Results - Kalagarla, Krishna C

  • Showing 1 - 11 results of 11
Refine Results
  1. 1
    Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes

    Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes by Kalagarla, Krishna C., Kartik, Dhruva, Shen, Dongming, Jain, Rahul, Nayyar, Ashutosh, Nuzzo, Pierluigi

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Optimal Control of Discounted-Reward Markov Decision Processes Under Linear Temporal Logic Specifications

    Optimal Control of Discounted-Reward Markov Decision Processes Under Linear Temporal Logic Specifications by Kalagarla, Krishna C., Jain, Rahul, Nuzzo, Pierluigi

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Model-Free Reinforcement Learning for Optimal Control of Markov Decision Processes Under Signal Temporal Logic Specifications

    Model-Free Reinforcement Learning for Optimal Control of Markov Decision Processes Under Signal Temporal Logic Specifications by Kalagarla, Krishna C., Jain, Rahul, Nuzzo, Pierluigi

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints

    A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints by Kalagarla, Krishna C., Jain, Rahul, Nuzzo, Pierluigi

    Get full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Safe Posterior Sampling for Constrained MDPs with Bounded Constraint Violation

    Safe Posterior Sampling for Constrained MDPs with Bounded Constraint Violation by Kalagarla, Krishna C, Jain, Rahul, Nuzzo, Pierluigi

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Model-Free Reinforcement Learning for Optimal Control of MarkovDecision Processes Under Signal Temporal Logic Specifications

    Model-Free Reinforcement Learning for Optimal Control of MarkovDecision Processes Under Signal Temporal Logic Specifications by Kalagarla, Krishna C, Jain, Rahul, Nuzzo, Pierluigi

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks

    SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks by Sivaramakrishnan, Vignesh, Kalagarla, Krishna C, Devonport, Rosalyn, Pilipovsky, Joshua, Tsiotras, Panagiotis, Oishi, Meeko

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Synthesis of Discounted-Reward Optimal Policies for Markov Decision Processes Under Linear Temporal Logic Specifications

    Synthesis of Discounted-Reward Optimal Policies for Markov Decision Processes Under Linear Temporal Logic Specifications by Kalagarla, Krishna C, Jain, Rahul, Nuzzo, Pierluigi

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes

    Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes by Kalagarla, Krishna C, Dhruva Kartik, Shen, Dongming, Jain, Rahul, Nayyar, Ashutosh, Nuzzo, Pierluigi

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints

    A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints by Kalagarla, Krishna C, Jain, Rahul, Nuzzo, Pierluigi

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Optimal Control of Partially Observable Markov Decision Processes with Finite Linear Temporal Logic Constraints

    Optimal Control of Partially Observable Markov Decision Processes with Finite Linear Temporal Logic Constraints by Kalagarla, Krishna C, Dhruva Kartik, Shen, Dongming, Jain, Rahul, Nayyar, Ashutosh, Nuzzo, Pierluigi

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

Search Tools: