受强制性开放获取政策约束的文章 - Kristin Y. Rozier了解详情
无法在其他位置公开访问的文章：1 篇
OpenUAS: An Open-Source Unmanned Aircraft Systems (UAS) Testbed Solution under Cost Constraints
A Howard, V Kulkarni, S Turner, E Rasmussen, K Singh, N Raj, ...
2024 Regional Student Conferences, 84417, 2024
强制性开放获取政策： US National Science Foundation, US National Aeronautics and Space Administration
可在其他位置公开访问的文章：46 篇
Temporal-logic based runtime observer pairs for system health management of real-time systems
T Reinbacher, KY Rozier, J Schumann
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
强制性开放获取政策： Austrian Science Fund
Towards Real-time, On-board, Hardware-supported Sensor and Software Health Management for Unmanned Aerial Systems
J Schumann, KY Rozier, T Reinbacher, OJ Mengshoel, T Mbaya, ...
International Journal of Prognostics and Health Management 6 (021), 1--27, 2015
强制性开放获取政策： US National Aeronautics and Space Administration
R2U2: monitoring and diagnosis of security threats for unmanned aerial systems
J Schumann, P Moosbrugger, KY Rozier
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015
强制性开放获取政策： US National Aeronautics and Space Administration
Towards a framework for certification of reliable autonomous systems
M Fisher, V Mascardi, KY Rozier, BH Schlingloff, M Winikoff, ...
Autonomous Agents and Multi-Agent Systems 35, 1-65, 2021
强制性开放获取政策： US National Science Foundation, US National Aeronautics and Space …
R2U2: monitoring and diagnosis of security threats for unmanned aerial systems
P Moosbrugger, KY Rozier, J Schumann
Formal Methods in System Design 51, 31-61, 2017
强制性开放获取政策： US National Aeronautics and Space Administration
Specification: The biggest bottleneck in formal methods and autonomy
KY Rozier
Verified Software. Theories, Tools, and Experiments: 8th International …, 2016
强制性开放获取政策： US National Science Foundation, US National Aeronautics and Space Administration
SAT-based explicit LTLf satisfiability checking
J Li, G Pu, Y Zhang, MY Vardi, KY Rozier
Artificial Intelligence 289, 103369, 2020
强制性开放获取政策： US National Science Foundation, US National Aeronautics and Space …
R2U2: tool overview
KY Rozier, J Schumann
International Workshop on Competitions, Usability, Benchmarks, Evaluation …, 2017
强制性开放获取政策： US National Science Foundation, US National Aeronautics and Space Administration
Model checking at scale: Automated air traffic control design space exploration
M Gario, A Cimatti, C Mattarei, S Tonetta, KY Rozier
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
强制性开放获取政策： US National Science Foundation, US National Aeronautics and Space Administration
Satisfiability checking for mission-time LTL
J Li, MY Vardi, KY Rozier
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
强制性开放获取政策： US National Science Foundation, US National Aeronautics and Space Administration
Embedding online runtime verification for fault disambiguation on robonaut2
B Kempa, P Zhang, PH Jones, J Zambreno, KY Rozier
International Conference on Formal Modeling and Analysis of Timed Systems …, 2020
强制性开放获取政策： US National Science Foundation, US National Aeronautics and Space Administration
Runtime analysis with R2U2: a tool exhibition report
J Schumann, P Moosbrugger, KY Rozier
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016
强制性开放获取政策： US National Aeronautics and Space Administration
Comparing different functional allocations in automated air traffic control design
C Mattarei, A Cimatti, M Gario, S Tonetta, KY Rozier
2015 Formal Methods in Computer-Aided Design (FMCAD), 112-119, 2015
强制性开放获取政策： US National Aeronautics and Space Administration
More Scalable LTL Model Checking via Discovering Design-Space Dependencies ()
R Dureja, KY Rozier
International Conference on Tools and Algorithms for the Construction and …, 2018
强制性开放获取政策： US National Science Foundation
Integrating runtime verification into an automated uas traffic management system
M Cauwels, A Hammer, B Hertz, PH Jones, KY Rozier
European Conference on Software Architecture, 340-357, 2020
强制性开放获取政策： US National Science Foundation
Intelligent hardware-enabled sensor and software safety and health management for autonomous UAS
KY Rozier, J Schumann, C Ippolito
强制性开放获取政策： US National Aeronautics and Space Administration
SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability
J Li, R Dureja, G Pu, KY Rozier, MY Vardi
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
强制性开放获取政策： US National Science Foundation, US National Aeronautics and Space …
Runtime verification triggers real-time, autonomous fault recovery on the CySat-I
A Aurandt, PH Jones, KY Rozier
NASA Formal Methods Symposium, 816-825, 2022
强制性开放获取政策： US National Science Foundation
FuseIC3: An algorithm for checking large design spaces
R Dureja, KY Rozier
2017 Formal Methods in Computer Aided Design (FMCAD), 164-171, 2017
强制性开放获取政策： US National Science Foundation
出版信息和资助信息由计算机程序自动确定