受强制性开放获取政策约束的文章 - Daniel J. Fremont了解详情
无法在其他位置公开访问的文章：1 篇
Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications
B Yalcinkaya, H Torfah, DJ Fremont, SA Seshia
International Conference on Runtime Verification, 191-212, 2023
强制性开放获取政策： US National Science Foundation, US Department of Defense
可在其他位置公开访问的文章：18 篇
Scenic: A Language for Scenario Specification and Scene Generation
DJ Fremont, T Dreossi, S Ghosh, X Yue, AL Sangiovanni-Vincentelli, ...
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
强制性开放获取政策： US National Science Foundation, US Department of Defense
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems
T Dreossi, DJ Fremont, S Ghosh, E Kim, H Ravanbakhsh, ...
International Conference on Computer Aided Verification, 432-442, 2019
强制性开放获取政策： US National Science Foundation, US Department of Defense
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World
DJ Fremont, E Kim, YV Pant, SA Seshia, A Acharya, X Bruso, P Wells, ...
arXiv preprint arXiv:2003.07739, 2020
强制性开放获取政策： US National Science Foundation, US Department of Defense
Formal specification for deep neural networks
SA Seshia, A Desai, T Dreossi, DJ Fremont, S Ghosh, E Kim, ...
International Symposium on Automated Technology for Verification and …, 2018
强制性开放获取政策： US National Science Foundation, US Department of Defense
Scenic: A language for scenario specification and data generation
DJ Fremont, E Kim, T Dreossi, S Ghosh, X Yue, ...
Machine Learning, 1-45, 2022
强制性开放获取政策： US National Science Foundation, US Department of Defense
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI
DJ Fremont, J Chiu, DD Margineantu, D Osipychev, SA Seshia
arXiv preprint arXiv:2005.07173, 2020
强制性开放获取政策： US National Science Foundation, US Department of Defense
Maximum Model Counting
DJ Fremont, MN Rabe, SA Seshia
AAAI, 3885-3892, 2017
强制性开放获取政策： US National Science Foundation, US Department of Defense
On the Hardness of SAT with Community Structure
N Mull, DJ Fremont, SA Seshia
International Conference on Theory and Applications of Satisfiability …, 2016
强制性开放获取政策： US National Science Foundation
Reactive Control Improvisation
DJ Fremont, SA Seshia
International Conference on Computer Aided Verification, 307-326, 2018
强制性开放获取政策： US National Science Foundation, US Department of Defense
Parallel and Multi-objective Falsification with Scenic and VerifAI
K Viswanadha, E Kim, F Indaheng, DJ Fremont, SA Seshia
Runtime Verification: 21st International Conference, RV 2021, Virtual Event …, 2021
强制性开放获取政策： US National Science Foundation, US Department of Defense
Formal analysis of AI-based autonomy: from modeling to runtime assurance
H Torfah, S Junges, DJ Fremont, SA Seshia
Runtime Verification: 21st International Conference, RV 2021, Virtual Event …, 2021
强制性开放获取政策： US National Science Foundation, US Department of Defense
3D Environment Modeling for Falsification and Beyond with Scenic 3.0
E Vin, S Kashiwa, M Rhea, DJ Fremont, E Kim, T Dreossi, S Ghosh, X Yue, ...
International Conference on Computer Aided Verification, 253-265, 2023
强制性开放获取政策： US National Science Foundation, US Department of Defense
Safety in autonomous driving: Can tools offer guarantees?
DJ Fremont, AL Sangiovanni-Vincentelli, SA Seshia
2021 58th ACM/IEEE Design Automation Conference (DAC), 1311-1314, 2021
强制性开放获取政策： US National Science Foundation, US Department of Defense
Specification Mining for Machine Improvisation with Formal Specifications
R Valle, A Donzé, DJ Fremont, I Akkaya, SA Seshia, A Freed, D Wessel
Computers in Entertainment (CIE) 14 (3), 6, 2016
强制性开放获取政策： US National Science Foundation
Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
A Gittis, E Vin, DJ Fremont
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa …, 2022
强制性开放获取政策： US Department of Defense
Fuzzing Malicious Driving Behavior to find Vulnerabilities in Collision Avoidance Systems
IF Salgado, N Quijano, DJ Fremont, AA Cardenas
2022 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW …, 2022
强制性开放获取政策： US National Science Foundation
Symbiotic CPS Design-Space Exploration through Iterated Optimization
SJ Yu, I Incer, V Prabhu, A Chattoraj, E Vin, D Fremont, A Mehta, ...
Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 92-99, 2023
强制性开放获取政策： US Department of Defense
Tackling simulation inconsistencies in the robot design process by selective empirical evaluation
A Chattoraj, E Vin, Y Tanaka, JN Pantig, DJ Fremont, A Mehta
Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 105-113, 2023
强制性开放获取政策： US Department of Defense
出版信息和资助信息由计算机程序自动确定