|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1958 occurrences of 945 keywords
|
|
|
Results
Found 3572 publication records. Showing 3572 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Hassan Almubarak, Nader Sadegh, Evangelos A. Theodorou |
Barrier States Theory for Safety-Critical Multi-Objective Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.07022, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Haolan Liu, Liangjun Zhang, Siva Kumar Sastry Hari, Jishen Zhao |
Safety-Critical Scenario Generation Via Reinforcement Learning Based Editing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.14131, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Dianhao Zhang, Mien Van, Stephen McIlvanna, Yuzhu Sun, Seán F. McLoone |
Adaptive Safety-critical Control with Uncertainty Estimation for Human-robot Collaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.06867, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Ali Baheri, Mykel J. Kochenderfer |
Joint Falsification and Fidelity Settings Optimization for Validation of Safety-Critical Systems: A Theoretical Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.06111, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Prithvi Akella, Wyatt Ubellacker, Aaron D. Ames |
Probabilistic Guarantees for Nonlinear Safety-Critical Optimal Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.06258, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Shuo Liu, Wei Xiao 0003, Calin A. Belta |
Feasibility-Guaranteed Safety Critical Control with Applications to Heterogeneous Platoons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.00238, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Xiangyuan Zhang, Weichao Mao, Saviz Mowlavi, Mouhacine Benosman, Tamer Basar |
Controlgym: Large-Scale Safety-Critical Control Environments for Benchmarking Reinforcement Learning Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.18736, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Joseph Breeden, Dimitra Panagou |
Safety-Critical Control for Systems with Impulsive Actuators and Dwell Time Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.10243, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Ping Zhang, Lingfeng Ming, Tingyi Yuan, Cong Qiu, Yang Li, Xinhua Hui, Zhiquan Zhang, Chao Huang |
Realistic Safety-critical Scenarios Search for Autonomous Driving System via Behavior Tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.06603, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Jeeseop Kim, Jaemin Lee, Aaron D. Ames |
Safety-Critical Coordination of Legged Robots via Layered Controllers and Forward Reachable Set based Control Barrier Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.08689, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Astrid Rakow |
Framing Relevance for Safety-Critical Autonomous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.14355, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Jaemin Lee, Jeeseop Kim, Wyatt Ubellacker, Tamás G. Molnár, Aaron D. Ames |
Safety-critical Control of Quadrupedal Robots with Rolling Arms for Autonomous Inspection of Complex Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.07778, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Hongzheng Yang, Cheng Chen, Yueyao Chen, Markus Scheppach, Hon-Chi Yip, Qi Dou 0001 |
Uncertainty Estimation for Safety-critical Scene Segmentation via Fine-grained Reward Maximization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.02719, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Brett W. Israelsen, Soumalya Sarkar |
LLMs for Multi-Modal Knowledge Extraction and Analysis in Intelligence/Safety-Critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.03088, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Florian Thaler, Franz Rammerstorfer, Jon Ander Gómez, Raul Garcia Crespo, Leticia Pasqual, Markus Postl |
Reinforcement learning for safety-critical control of an automated vehicle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.16767, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Tamás G. Molnár, Aaron D. Ames |
Safety-Critical Control with Bounded Inputs via Reduced Order Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.03247, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Amr S. Mohamed, Mohsen Khalaf, Deepa Kundur |
On the Use of Safety Critical Control for Cyber-Physical Security in the Smart Grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.02197, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Shuang Ao |
Building Safe and Reliable AI systems for Safety Critical Tasks with Vision-Language Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.03176, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Huiliang Zhang, Di Wu 0044, Benoit Boulet |
Adaptive Aggregation for Safety-Critical Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.03586, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Kunkun Hao, Lu Liu, Wen Cui, Jianxing Zhang, Songyang Yan, Yuxi Pan, Zijiang Yang |
Bridging Data-Driven and Knowledge-Driven Approaches for Safety-Critical Scenario Generation in Automated Vehicle Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.10937, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Saddek Bensalem, Chih-Hong Cheng, Wei Huang 0035, Xiaowei Huang 0001, Changshun Wu, Xingyu Zhao 0001 |
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.11784, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames |
Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.09622, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Nico Schick |
Exploring the Boundaries: Thorough Software Testing for Safety-Critical Driving Scenarios Based on Kinematics in the Context of Autonomous Driving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.01898, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Yulin Li, Xindong Tang, Kai Chen, Chunxin Zheng, Haichao Liu, Jun Ma |
Geometry-Aware Safety-Critical Local Reactive Controller for Robot Navigation in Unknown and Cluttered Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.05547, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Jeeseop Kim, Jaemin Lee, Aaron D. Ames |
Safety-Critical Coordination for Cooperative Legged Locomotion via Control Barrier Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.13630, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Max H. Cohen, Calin Belta |
Modular Adaptive Safety-Critical Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.04241, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Berk Tosun, Evren Samur |
Modular Safety-Critical Control of Legged Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.02386, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Jay Sarva, Jingkang Wang, James Tu, Yuwen Xiong, Sivabalan Manivasagam, Raquel Urtasun |
Adv3D: Generating Safety-Critical 3D Objects through Closed-Loop Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.01446, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Shuo Liu, Wei Xiao 0003, Calin A. Belta |
Auxiliary-Adaptive Control Barrier Functions for Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.00372, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Tasmeen Zaman Ornee, Md Kamran Chowdhury Shisher, Clement Kam, Yin Sun |
Context-aware Status Updating: Wireless Scheduling for Maximizing Situational Awareness in Safety-critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.06224, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Weiqin Chen 0003, Dharmashankar Subramanian, Santiago Paternain |
Probabilistic Constraint for Safety-Critical Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.17279, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Brooks A. Butler, Philip E. Paré |
Distributed Collaborative Safety-Critical Control for Networked Dynamic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.03289, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Donggeon David Oh, Dongjae Lee, H. Jin Kim |
Safety-Critical Control under Multiple State and Input Constraints and Application to Fixed-Wing UAV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.04087, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Hans-Martin Heyn, Eric Knauss, Iswarya Malleswaran, Shruthi Dinakaran |
An investigation of challenges encountered when specifying training data and runtime monitors for safety critical ML applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.13476, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Federico Califano |
Passivity-Preserving Safety-Critical Control using Control Barrier Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.10981, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Leonie Koessler, Jonas Schuett |
Risk assessment at AGI companies: A review of popular risk assessment techniques from other safety-critical industries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.08823, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Jon Pérez-Cerrolaza, Jaume Abella 0001, Leonidas Kosmidis, Alejandro J. Calderón, Francisco J. Cazorla, Jose Luis Flores 0001 |
GPU Devices for Safety-Critical Systems: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 55(7), pp. 147:1-147:37, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Ipsita Koley, Soumyajit Dey, Debdeep Mukhopadhyay, Sachin Kumar Singh, Lavanya Lokesh, Shantaram Vishwanath Ghotgalkar |
CAD Support for Security and Robustness Analysis of Safety-critical Automotive Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Cyber Phys. Syst. ![In: ACM Trans. Cyber Phys. Syst. 7(1), pp. 7:1-7:26, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Hazem M. Fahmy, Fabrizio Pastore, Lionel C. Briand, Thomas Stifter |
Simulator-based Explanation and Debugging of Hazard-triggering Events in DNN-based Safety-critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 32(4), pp. 104:1-104:47, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Nancy G. Leveson, John P. Thomas |
Certification of Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 66(10), pp. 22-26, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Nan Gu, Haoliang Wang, Anqing Wang, Lu Liu 0003 |
Safety-Critical Game-Based Formation Control of Underactuated Autonomous Surface Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE CAA J. Autom. Sinica ![In: IEEE CAA J. Autom. Sinica 10(4), pp. 1102-1104, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Thomas Veran, Pierre-Edouard Portier, François Fouquet |
Interpretable hierarchical symbolic regression for safety-critical systems with an application to highway crash prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Appl. Artif. Intell. ![In: Eng. Appl. Artif. Intell. 117(Part), pp. 105534, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Hongjiao Guan, Xiangjun Dong 0001, Chuan Chen, Long Zhao 0002, Xiaoqiang Ren |
Dual objective bounded abstaining model to control performance for safety-critical applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Appl. Artif. Intell. ![In: Eng. Appl. Artif. Intell. 126, pp. 106762, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Elson Kurian, Daniela Briola, Pietro Braione, Giovanni Denaro |
Automatically generating test cases for safety-critical software via symbolic execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 199, pp. 111629, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Nan Gu, Dan Wang 0001, Zhouhua Peng, Jun Wang 0002 |
Safety-Critical Containment Maneuvering of Underactuated Autonomous Surface Vehicles Based on Neurodynamic Optimization With Control Barrier Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks Learn. Syst. ![In: IEEE Trans. Neural Networks Learn. Syst. 34(6), pp. 2882-2895, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Gopinath Karmakar, Amol Wakankar, Ashutosh Kabra, Paritosh K. Pandya |
Development of Safety-Critical Systems - Architecture and Software ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
DOI RDF |
|
13 | José M. Pinheiro, Enio Vasconcelos Filho, Pedro M. Santos 0002, Luís Almeida 0001 |
An ETSI ITS-enabled Robotic Scale Testbed for Network-Aided Safety-Critical Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN-W ![In: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Workshops, Porto, Portugal, June 27-30, 2023, pp. 52-59, 2023, IEEE, 979-8-3503-2543-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Marsha Chechik, Sebastian G. Elbaum, Boyue Caroline Hu, Lina Marsso, Meriel von Stein (eds.) |
Proceedings of the 1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components, SE4SafeML 2023, San Francisco, CA, USA, 4 December 2023 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SE4SafeML@SIGSOFT FSE ![ACM The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Cameron Lerch, Dayi Dong, Ian Abraham |
Safety-Critical Ergodic Exploration in Cluttered Environments via Control Barrier Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: IEEE International Conference on Robotics and Automation, ICRA 2023, London, UK, May 29 - June 2, 2023, pp. 10205-10211, 2023, IEEE, 979-8-3503-2365-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Ryan M. Bena, Sushmit Hossain, Buyun Chen, Wei Wu, Quan Nguyen 0004 |
A Hybrid Quadratic Programming Framework for Real-Time Embedded Safety-Critical Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: IEEE International Conference on Robotics and Automation, ICRA 2023, London, UK, May 29 - June 2, 2023, pp. 3418-3424, 2023, IEEE, 979-8-3503-2365-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Prithvi Akella, Wyatt Ubellacker, Aaron D. Ames |
Safety-Critical Controller Verification via Sim2Real Gap Quantification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: IEEE International Conference on Robotics and Automation, ICRA 2023, London, UK, May 29 - June 2, 2023, pp. 10539-10545, 2023, IEEE, 979-8-3503-2365-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Zhuozhu Jian, Zihong Yan, Xuanang Lei, Zihong Lu, Bin Lan, Xueqian Wang 0001, Bin Liang 0001 |
Dynamic Control Barrier Function-based Model Predictive Control to Safety-Critical Obstacle-Avoidance of Mobile Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: IEEE International Conference on Robotics and Automation, ICRA 2023, London, UK, May 29 - June 2, 2023, pp. 3679-3685, 2023, IEEE, 979-8-3503-2365-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Silvia Thal, Philip Wallis, Roman Henze, Ryo Hasegawa, Hiroki Nakamura, Sou Kitajima, Genya Abe |
Towards Realistic, Safety-Critical and Complete Test Case Catalogs for Safe Automated Driving in Urban Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: IEEE Intelligent Vehicles Symposium, IV 2023, Anchorage, AK, USA, June 4-7, 2023, pp. 1-8, 2023, IEEE, 979-8-3503-4691-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Hirva Bhagat, Sandesh Jain, A. Lynn Abbott, Akash Sonth, Abhijit Sarkar |
Driver Gaze Fixation and Pattern Analysis in Safety Critical Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: IEEE Intelligent Vehicles Symposium, IV 2023, Anchorage, AK, USA, June 4-7, 2023, pp. 1-8, 2023, IEEE, 979-8-3503-4691-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Yiming Shu, Jingyuan Zhou, Fu Zhang |
Safety-critical Decision-making and Control for Autonomous Vehicles with Highest Priority. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: IEEE Intelligent Vehicles Symposium, IV 2023, Anchorage, AK, USA, June 4-7, 2023, pp. 1-8, 2023, IEEE, 979-8-3503-4691-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Sanjay Das, Shamik Kundu, Kanad Basu |
Bottlenecks in Secure Adoption of Deep Neural Networks in Safety-Critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MWSCAS ![In: 66th IEEE International Midwest Symposium on Circuits and Systems, MWSCAS 2023, Tempe, AZ, USA, August 6-9, 2023, pp. 801-805, 2023, IEEE, 979-8-3503-0210-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Kunal Agrawal, Sanjoy K. Baruah, Michael A. Bender, Alberto Marchetti-Spaccamela |
The Safe and Effective Use of Low-Assurance Predictions in Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 35th Euromicro Conference on Real-Time Systems, ECRTS 2023, July 11-14, 2023, Vienna, Austria, pp. 3:1-3:19, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-280-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Linyi Jin, Val Mitchell, Andrew J. May, Ning Lu |
Enhancing Operator Engagement in Safety Critical Control Rooms-Validating Influential Factors and Improving Interview-based Data Collection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (38) ![In: HCI in Mobility, Transport, and Automotive Systems - 5th International Conference, MobiTAS 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I, pp. 268-281, 2023, Springer, 978-3-031-35677-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray |
Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Safety-Critical Autonomous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IROS, pp. 8651-8658, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Qiayuan Liao, Zhongyu Li, Akshay Thirugnanam, Jun Zeng, Koushil Sreenath |
Walking in Narrow Spaces: Safety-Critical Locomotion Control for Quadrupedal Robots with Duality-Based Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IROS, pp. 2723-2730, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Jeeseop Kim, Jaemin Lee, Aaron D. Ames |
Safety-Critical Coordination for Cooperative Legged Locomotion via Control Barrier Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IROS, pp. 2368-2375, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Prithvi Akella, Wyatt Ubellacker, Aaron D. Ames |
Probabilistic Guarantees for Nonlinear Safety-Critical Optimal Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IROS, pp. 8120-8126, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Sangeeta Dey, Seok-Won Lee |
A Multi-layered Collaborative Framework for Evidence-driven Data Requirements Engineering for Machine Learning-based Safety-critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023, pp. 1404-1413, 2023, ACM, 978-1-4503-9517-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Uzair Sharif, Daniel Mueller-Gritschneder, Rafael Stahl, Ulf Schlichtmann |
Efficient Software-Implemented HW Fault Tolerance for TinyML Inference in Safety-critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2023, Antwerp, Belgium, April 17-19, 2023, pp. 1-6, 2023, IEEE, 978-3-9819263-7-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Zhuanhao Wu, Marat Bekmyrza, Nachiket Kapre, Hiren D. Patel |
Ditty: Directory-based Cache Coherence for Multicore Safety-critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2023, Antwerp, Belgium, April 17-19, 2023, pp. 1-6, 2023, IEEE, 978-3-9819263-7-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Muhammad Nouman Zafar, Wasif Afzal, Eduard Paul Enoiu |
An Empirical Evaluation of System-Level Test Effectiveness for Safety-Critical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENASE ![In: Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2023, Prague, Czech Republic, April 24-25, 2023., pp. 293-305, 2023, SCITEPRESS, 978-989-758-647-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Xabier Arauzo, Irune Yarza, Leonidas Kosmidis, Alejandro J. Calderón, Marcos Rodriguez |
Unraveling the Mystery of NVIDIA's Unified Memory for Safety-Critical GPU Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 26th Euromicro Conference on Digital System Design, DSD 2023, Golem, Albania, September 6-8, 2023, pp. 366-372, 2023, IEEE, 979-8-3503-4419-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Elena Troubitsyna |
Utilising Redundancy to Enhance Security of Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP Workshops ![In: Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings, pp. 188-196, 2023, Springer, 978-3-031-40952-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Tobias Dörr, Florian Schade, Jürgen Becker 0001 |
Pattern-Based Information Flow Control for Safety-Critical On-Chip Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings, pp. 181-195, 2023, Springer, 978-3-031-40922-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Cyrille Artho, Peter Csaba Ölveczky (eds.) |
Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2023, Cascais, Portugal, 22 October 2023 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTSCS ![ACM The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Rajesh Kumar 0012, Nitish Yadav |
A methodology for resilient safety-critical infrastructures using statistical model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 30th Asia-Pacific Software Engineering Conference, APSEC 2023, Seoul, Republic of Korea, December 4-7, 2023, pp. 599-603, 2023, IEEE, 979-8-3503-4417-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Deniz Kasap, Alessio Carpegna, Alessandro Savino, Stefano Di Carlo |
Micro-Architectural features as soft-error markers in embedded safety-critical systems: preliminary study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETS ![In: IEEE European Test Symposium, ETS 2023, Venezia, Italy, May 22-26, 2023, pp. 1-5, 2023, IEEE, 979-8-3503-3634-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Mohamad Gharib |
Emotions, Readiness for Act, and Safe/Unsafe Acts in Safety Critical Systems: A Position Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REW ![In: 31st IEEE International Requirements Engineering Conference, RE 2023 - Workshops, Hannover, Germany, September 4-5, 2023, pp. 12-15, 2023, IEEE, 979-8-3503-2691-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Satyam Sharma, Muhammad Abdul Basit Ur Rahim, Shahid Hussain, Muhammad Rizwan Abid, Tairan Liu |
Using Deep Reinforcement Learning And Formal Verification in Safety Critical Systems: Strategies and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS Companion ![In: 23rd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2023 Companion, Chiang Mai, Thailand, October 22-26, 2023, pp. 834-842, 2023, IEEE, 979-8-3503-5939-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Pedram Rabiee, Jesse B. Hoagg |
Soft-Minimum Barrier Functions for Safety-Critical Control Subject to Actuation Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2023, San Diego, CA, USA, May 31 - June 2, 2023, pp. 2646-2651, 2023, IEEE, 979-8-3503-2806-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Tamás G. Molnár, Aaron D. Ames |
Safety-Critical Control with Bounded Inputs via Reduced Order Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2023, San Diego, CA, USA, May 31 - June 2, 2023, pp. 1414-1421, 2023, IEEE, 979-8-3503-2806-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Max H. Cohen, Calin Belta |
Modular Adaptive Safety-Critical Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2023, San Diego, CA, USA, May 31 - June 2, 2023, pp. 2969-2974, 2023, IEEE, 979-8-3503-2806-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Vrushabh Zinage, Efstathios Bakolas |
Neural Koopman Control Barrier Functions for Safety-Critical Control of Unknown Nonlinear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2023, San Diego, CA, USA, May 31 - June 2, 2023, pp. 3442-3447, 2023, IEEE, 979-8-3503-2806-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Martin Fränzle, Willem Hagemann, Werner Damm, Astrid Rakow, Mani Swaminathan |
Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 180-201, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Sten Vercammen, Markus Borg, Serge Demeyer |
Validation of Mutation Testing in the Safety Critical Industry through a Pilot Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSTW ![In: IEEE International Conference on Software Testing, Verification and Validation, ICST 2023 - Workshops, Dublin, Ireland, April 16-20, 2023, pp. 334-343, 2023, IEEE, 979-8-3503-3335-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Mounia Elqortobi, Amine Rahj, Jamal Bentahar |
Granular Traceability Between Requirements and Test Cases for Safety-Critical Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiWIS ![In: Mobile Web and Intelligent Information Systems - 19th International Conference, MobiWIS 2023, Marrakech, Morocco, August 14-16, 2023, Proceedings, pp. 202-220, 2023, Springer, 978-3-031-39763-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Yihe Li, Zhouhua Peng, Lu Liu 0003, Haoliang Wang, Nan Gu, Anqing Wang, Dan Wang 0001 |
Safety-Critical Path Planning of Autonomous Surface Vehicles Based on Rapidly-Exploring Random Tree Algorithm and High Order Control Barrier Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CACRE ![In: 8th International Conference on Automation, Control and Robotics Engineering, CACRE 2023, Hong Kong, China, July 13-15, 2023, pp. 203-208, 2023, IEEE, 979-8-3503-0277-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Helber Silva, Marco Vieira, Augusto Neto 0001 |
Are safety-critical systems really survivable to attacks? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysCon ![In: IEEE International Systems Conference, SysCon 2023, Vancouver, BC, Canada, April 17-20, 2023, pp. 1-8, 2023, IEEE, 978-1-6654-3994-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Donggeon David Oh, Dongjae Lee, H. Jin Kim |
Safety-Critical Control Under Multiple State and Input Constraints and Application to Fixed-Wing UAV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 1748-1755, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Prithvi Akella, Aaron D. Ames |
Bounding Optimality Gaps for Non-Convex Optimization Problems: Applications to Nonlinear Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 79-85, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Chenguang Zhao, Huan Yu |
Safety-Critical Traffic Control for Mixed Autonomy Systems with Input Delay and Disturbances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 1094-1099, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Shuo Liu, Wei Xiao 0003, Calin A. Belta |
Auxiliary- Variable Adaptive Control Barrier Functions for Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 8602-8607, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Carina Manger, Jakob Peintner, Marion Hoffmann, Mirella Probst, Raphael Wennmacher, Andreas Riener |
Providing Explainability in Safety-Critical Automated Driving Situations through Augmented Reality Windshield HMIs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AutomotiveUI (Adjunct Proceedings) ![In: Adjunct Proceedings of the 15th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, AutomotiveUI 2023, Ingolstadt, Germany, September 18-22, 2023, pp. 174-179, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Florence de Grancey, Amandine Audouy |
Towards the Deployment of Knowledge Based Systems in Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC (Satellite Events) ![In: The Semantic Web: ESWC 2023 Satellite Events - Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings, pp. 186-190, 2023, Springer, 978-3-031-43457-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Hans-Martin Heyn, Eric Knauss, Iswarya Malleswaran, Shruthi Dinakaran |
An Investigation of Challenges Encountered When Specifying Training Data and Runtime Monitors for Safety Critical ML Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFSQ ![In: Requirements Engineering: Foundation for Software Quality - 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings, pp. 206-222, 2023, Springer, 978-3-031-29785-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Jay Sarva, Jingkang Wang, James Tu, Yuwen Xiong, Sivabalan Manivasagam, Raquel Urtasun |
Adv3D: Generating Safety-Critical 3D Objects through Closed-Loop Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRL ![In: Conference on Robot Learning, CoRL 2023, 6-9 November 2023, Atlanta, GA, USA., pp. 1316-1334, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
13 | Erik Tomusk, Verena Beckham |
What's New in SYCL for Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWOCL ![In: Proceedings of the 2023 International Workshop on OpenCL, IWOCL 2023, Cambridge, United Kingdom, April 18-20, 2023., pp. 12:1, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Pragya Dhungana, Rupesh Kumar Singh, Hariom Dhungana |
Machine Learning Model for Fault Detection in Safety Critical System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ApplePies ![In: Applications in Electronics Pervading Industry, Environment and Society - APPLEPIES 2023, Genoa, Italy, 28-29 September 2023., pp. 499-507, 2023, Springer, 978-3-031-48120-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Linrui Zhang, Qin Zhang, Li Shen 0008, Bo Yuan 0003, Xueqian Wang 0001, Dacheng Tao |
Evaluating Model-Free Reinforcement Learning toward Safety-Critical Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023, pp. 15313-15321, 2023, AAAI Press, 978-1-57735-880-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Aymen Ouertani, Ossmane Krini, Josef Börcsök |
A Practical Approach for Reliability Prediction of Safety Critical Software Using Multi-Model Ensemble Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSRS ![In: 7th International Conference on System Reliability and Safety, ICSRS 2023, Bologna, Italy, November 22-24, 2023, pp. 498-506, 2023, IEEE, 979-8-3503-0605-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | T. V. Rao, Sameen Naqvi |
Quantifying Reliability in a Complex Safety-Critical System: A Copula and Distorted Distribution Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSRS ![In: 7th International Conference on System Reliability and Safety, ICSRS 2023, Bologna, Italy, November 22-24, 2023, pp. 159-163, 2023, IEEE, 979-8-3503-0605-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Oisín Sheridan |
Exploring a Methodology for Formal Verification of Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings, pp. 361-365, 2023, Springer, 978-3-031-33162-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | David Geleßus, Sebastian Stock 0002, Fabian Vu, Michael Leuschel, Atif Mashkoor |
Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings, pp. 284-302, 2023, Springer, 978-3-031-33162-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Chengzhuo Li, Xiafu Peng, Weiyao Lan, Xiao Yu |
Autonomous and Safety-Critical Stair Climbing via Nonlinear Model Predictive Control for Quadrupedal Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ROBIO ![In: IEEE International Conference on Robotics and Biomimetics, ROBIO 2023, Koh Samui, Thailand, December 4-9, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-2570-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Alptekin Vardar, Li Zhang, Saiyam Bherulal Jain, Shaown Mojumder, Nellie Laleni, Sourav De, Thomas Kämpfe |
The True Cost of Errors in Emerging Memory Devices: A Worst-Case Analysis of Device Errors in IMC for Safety-Critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMACD ![In: 19th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design, SMACD 2023, Funchal, Portugal, July 3-5, 2023, pp. 1-4, 2023, IEEE, 979-8-3503-3265-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
|
|