Statistical Verification using Surrogate Models and Conformal Inference and a Comparison with Risk-Aware Verification von Qin, Xin, Xia, Yuan, Zutshi, Aditya, Fan, Chuchu, Deshmukh, Jyotirmoy V.

Volltext

Bridging the Gap: Applying Assurance Arguments to MIL-HDBK-516C Certification of a Neural Network Control System with ASIF Run Time Assurance Architecture von Rowanhill, Jonathan, Hocking, Ashlie B, Zutshi, Aditya, Hobbs, Kerianne L

Volltext bestellen

Timed Relational Abstractions for Sampled Data Control Systems von Zutshi, Aditya, Sankaranarayanan, Sriram, Tiwari, Ashish

Volltext

Systems Theoretic Process Analysis of a Run Time Assured Neural Network Control System von Hobbs, Kerianne L, Heiner, Benjamin K, Busse, Lillian, Dunlap, Kyle, Rowanhill, Jonathan, Hocking, Ashlie B, Zutshi, Aditya

Volltext

Statistical Verification of Autonomous Systems using Surrogate Models and Conformal Inference von Fan, Chuchu, Qin, Xin, Xia, Yuan, Zutshi, Aditya, Deshmukh, Jyotirmoy

Volltext bestellen

Bridging the Gap: Applying Assurance Arguments to MIL-HDBK-516C Certification of a Neural Network Control System with ASIF Run Time Assurance Architecture von Rowanhill, Jonathan, Hocking, Ashlie B, Zutshi, Aditya, Hobbs, Kerianne L

Volltext

A trajectory splicing approach to concretizing counterexamples for hybrid systems von Zutshi, Aditya, Sankaranarayanan, Sriram, Deshmukh, Jyotirmoy V., Kapinski, James

Volltext

Statistical Verification of Autonomous Systems using Surrogate Models and Conformal Inference von Fan, Chuchu, Qin, Xin, Xia, Yuan, Zutshi, Aditya, Deshmukh, Jyotirmoy

Volltext

LmjF.36.3850, a novel hypothetical Leishmania major protein, contributes to the infection von Zutshi, Shubhranshu, Sarode, Aditya Yashwant, Ghosh, Soumya Kanti, Jha, Mukesh Kumar, Sudan, Raki, Kumar, Sunil, Sadhale, Late Parag, Roy, Somenath, Saha, Bhaskar

Volltext

Residue-Specific Message Encoding in CD40-Ligand von Sarode, Aditya Yashwant, Jha, Mukesh Kumar, Zutshi, Shubhranshu, Ghosh, Soumya Kanti, Mahor, Hima, Sarma, Uddipan, Saha, Bhaskar

Volltext

Leishmania major adenylate kinase immunization offers partial protection to a susceptible host von Zutshi, Shubhranshu, Kumar, Sunil, Sarode, Aditya, Roy, Somenath, Sarkar, Arup, Saha, Bhaskar

Volltext

Design and construction of Cosmic Muon Veto for the mini-ICAL detector at IICHEP, Madurai von Bheesette, Satyanarayana, Bharathi, S. R., Bross, Alan D., Chinnappan, Pandi, Datar, V. M., Deodhar, C. Aditya, Gothe, Kiran, Jangra, Mamta, John, Jim, Joshi, S. R., Krishnamoorthi, J., K.S, Karthikk, Majumder, Gobinda, Padmavathy, Veera, Panchal, N., Panyam, Nagaraj, Parmar, Nandkishor, Pethuraj, S., Pla-Dalmau, Anna, Ponraj, Jayakumar, Ravindran, K. C., Sachdeva, Mahima, Saraf, Mandar, Shinde, R. R., Sogarwal, Hariom, Umesh, L., Upadhya, S. S., Verma, Piyush, Yuvaraj, E., Dukes, E. Craig, Glenzinski, Douglas A., Shah, Raj Bhupen, Zutshi, Vishnu, Sharma, Kirti Prakash, Rao, Shobha K.

Volltext