Cover Image

Systems Engineering With Architecture Modeling, Formal Verification, and Human Interactions for Learning‐Enabled Autonomous Agent

Fuente: Wiley Open Access

Saved in:

Bibliographic Details
Main Authors:	Parth Ganeriwala, Nandith Narayan, Randolph M. Jones, Michael Matessa, Siddhartha Bhattacharyya, Jennifer Davis, Simone Fulvio Rollini, Hemant Purohit, Natasha Neogi
Format:	Artículo Open Access
Published:	Wiley 2025
Subjects:	Systems Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Design and Validation of Learning Aware HMI For Learning-Enabled Increasingly Autonomous Systems
by: Ganeriwala, Parth, et al.
Published: (2025)

Cross Dataset Analysis and Network Architecture Repair for Autonomous Car Lane Detection
by: Ganeriwala, Parth, et al.
Published: (2024)

Exploring Machine Learning Engineering for Object Detection and Tracking by Unmanned Aerial Vehicle (UAV)
by: Guna, Aneesha, et al.
Published: (2024)

ALINA: Advanced Line Identification and Notation Algorithm
by: Khan, Mohammed Abdul Hafeez, et al.
Published: (2024)

AssistTaxi: A Comprehensive Dataset for Taxiway Analysis and Autonomous Operations
by: Ganeriwala, Parth, et al.
Published: (2024)

Runway vs. Taxiway: Challenges in Automated Line Identification and Notation Approaches
by: Ganeriwala, Parth, et al.
Published: (2025)

Adapt, But Don't Forget: Fine-Tuning and Contrastive Routing for Lane Detection under Distribution Shift
by: Khan, Mohammed Abdul Hafeez, et al.
Published: (2025)

Automating Physics-Based Reasoning for SysML Model Validation
by: Chambers, Candice, et al.
Published: (2025)

Saarthi: The First AI Formal Verification Engineer
by: Kumar, Aman, et al.
Published: (2025)

Knowledge-guided Continual Learning for Behavioral Analytics Systems
by: Senarath, Yasas, et al.
Published: (2025)

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
by: Mohanty, Hansa, et al.
Published: (2025)

Generative AI Augmented Induction-based Formal Verification
by: Kumar, Aman, et al.
Published: (2024)

An Advanced Forecasting Model Leveraging Emotion‐Gesture Correlation to Predict Returning Visitors Surpasses Visit Duration as a Predictive Factor
by: Alicia Heraz, et al.
Published: (2024)

Agentic AI-based Coverage Closure for Formal Verification
by: Pothireddypalli, Sivaram, et al.
Published: (2026)

ORIS: Online Active Learning Using Reinforcement Learning-based Inclusive Sampling for Robust Streaming Analytics System
by: Pandey, Rahul, et al.
Published: (2024)

Debiasing Large Language Models toward Social Factors in Online Behavior Analytics through Prompt Knowledge Tuning
by: Salemi, Hossein, et al.
Published: (2026)

Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures
by: Figge, Julius, et al.
Published: (2026)

Open Challenges in the Formal Verification of Autonomous Driving
by: Burgio, Paolo, et al.
Published: (2024)

The Autonomous Data Language -- Concepts, Design and Formal Verification
by: Franken, Tom T. P., et al.
Published: (2025)

Knowledge Graphs, the Missing Link in Agentic AI-based Formal Verification
by: Viswambharan, Vaisakh Naduvodi, et al.
Published: (2026)

All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification
by: Gadde, Deepak Narayan, et al.
Published: (2024)

Emergency Incident Detection from Crowdsourced Waze Data using Bayesian Information Fusion
by: Senarath, Yasas, et al.
Published: (2020)

ProVerif Formal Verification Model for SSI-Mediated Wearable Health Data Sharing Architecture
by: Kazi Md Arif Shahriar
Published: (2026)

Saarthi for AGI: Towards Domain-Specific General Intelligence for Formal Verification
by: Kumar, Aman, et al.
Published: (2026)

Log Soft Constraints on KMOC Formalism
by: Paul, Siddhartha, et al.
Published: (2026)

A Virtual Mechanical Interaction Layer Enables Resilient Human-to-Robot Object Handovers
by: Faris, Omar, et al.
Published: (2025)

Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems
by: Huang, Wei, et al.
Published: (2020)

Wideband Monitoring of FRB 20180916B Across a Half-Decade Bandwidth Using the Upgraded GMRT
by: Bhattacharyya, Siddhartha, et al.
Published: (2024)

Can Limited Liability Increase Stability for Banks: A Dynamic Portfolio Approach
by: Barik, Deb Narayan, et al.
Published: (2025)

Dynamic loan portfolio management in a three time step model
by: Barik, Deb Narayan, et al.
Published: (2025)

Interactive Formal Specification for Mathematical Problems of Engineers
by: Neuper, Walther
Published: (2024)

From Tokens to Steps: Verification-Aware Speculative Decoding for Efficient Multi-Step Reasoning
by: Purohit, Kiran, et al.
Published: (2026)

Product Interaction: An Algebraic Formalism for Deep Learning Architectures
by: Dong, Haonan, et al.
Published: (2026)

Computing the Formal and Institutional Boundaries of Contemporary Genre and Literary Fiction
by: Johnson, Natasha
Published: (2025)

ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
by: Chen, Chen, et al.
Published: (2025)

A Brief Survey of Current Software Engineering Practices in Continuous Integration and Automated Accessibility Testing
by: Sane, Parth
Published: (2021)

Game Theoretic Semi-Distributed D2D Resource Allocation Underlaying an LTE Network
by: Neogi, Anushree
Published: (2017)

TriFusion-AE: Language-Guided Depth and LiDAR Fusion for Robust Point Cloud Processing
by: Neogi, Susmit
Published: (2025)

Our Moon has Blood Clots and the Poetics of Indigenous Representation: Kashmiri Pandit Narratives as Indigenous Literature
by: Soumyadeep Neogi
Published: (2020)

Engineering a 3‐dimensional tissue construct with adipose‐derived stem cells for healing bone defect: An ex vivo study with femur head
by: Aditi Mahajan, et al.
Published: (2024)