Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Article
|
Intrusion Tolerance for Networked Systems through Two-Level Feedback ControlarXiv.org, 2024-042024. This work is published under http://creativecommons.org/licenses/by-sa/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by-sa/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2404.01741Full text available |
|
2 |
Material Type: Article
|
Zero-Sum Positional Differential Games as a Framework for Robust Reinforcement Learning: Deep Q-Learning ApproacharXiv.org, 2024-052024. This work is published under http://creativecommons.org/licenses/by-nc-sa/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by-nc-sa/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2405.02044Full text available |
|
3 |
Material Type: Article
|
Playing Games with your PET: Extending the Partial Exploration Tool to Stochastic GamesarXiv.org, 2024-052024. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2405.03885Full text available |
|
4 |
Material Type: Article
|
Safe Reach Set Computation via Neural Barrier CertificatesarXiv.org, 2024-042024. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2404.18813Full text available |
|
5 |
Material Type: Article
|
An Experimental Study on Learning Correlated Equilibrium in Routing GamesarXiv.org, 2022-072022. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2208.00391Full text available |
|
6 |
Material Type: Article
|
Learning Near-Optimal Intrusion Responses Against Dynamic AttackersarXiv.org, 2023-042023. This work is published under http://creativecommons.org/licenses/by-sa/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by-sa/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2301.06085Full text available |
|
7 |
Material Type: Article
|
Independent and Decentralized Learning in Markov Potential GamesarXiv.org, 2022-052022. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2205.14590Full text available |
|
8 |
Material Type: Article
|
Preference Dynamics Under Personalized RecommendationsarXiv.org, 2022-052022. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2205.13026Full text available |
|
9 |
Material Type: Article
|
Optimizing Industrial HVAC Systems with Hierarchical Reinforcement LearningarXiv.org, 2022-092022. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2209.08112Full text available |
|
10 |
Material Type: Article
|
Differentiable Bilevel Programming for Stackelberg Congestion GamesarXiv.org, 2022-092022. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2209.07618Full text available |
|
11 |
Material Type: Article
|
The missing link: Developing a safety case for perception components in automated drivingarXiv.org, 2022-092022. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2108.13294Full text available |
|
12 |
Material Type: Article
|
Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSATarXiv.org, 2020-052020. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2005.03003Full text available |
|
13 |
Material Type: Article
|
Open- and Closed-Loop Neural Network Verification using Polynomial ZonotopesarXiv.org, 2022-072022. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2207.02715Full text available |
|
14 |
Material Type: Article
|
Exploiting Symmetry in Dynamics for Model-Based Reinforcement Learning with Asymmetric RewardsarXiv.org, 2024-052024. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2403.19024Full text available |
|
15 |
Material Type: Article
|
Sustainability of Data Center Digital Twins with Reinforcement LearningarXiv.org, 2024-042024. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2404.10786Full text available |
|
16 |
Material Type: Article
|
Semantic Technology based Usage Control for Decentralized SystemsarXiv.org, 2022-062022. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2206.04947Full text available |
|
17 |
Material Type: Article
|
Temporal Logic Imitation: Learning Plan-Satisficing Motion Policies from DemonstrationsarXiv.org, 2022-062022. This work is published under http://creativecommons.org/licenses/by-nc-nd/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by-nc-nd/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2206.04632Full text available |
|
18 |
Material Type: Article
|
Impact of Traffic-Following on Order of Autonomous Airspace OperationsarXiv.org, 2024-042024. This work is published under http://creativecommons.org/licenses/by-nc-sa/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by-nc-sa/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2404.17627Full text available |
|
19 |
Material Type: Article
|
Few-Shot Scenario Testing for Autonomous Vehicles Based on Neighborhood Coverage and SimilarityarXiv.org, 2024-042024. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2402.01795Full text available |
|
20 |
Material Type: Article
|
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical ModelsarXiv.org, 2024-042024. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2311.09793Full text available |