Test Adapter Generation Based on Assume/Guarantee Contracts for Verification of Cyber-Physical Systems
Two phase path planning for fuel-efficient safe navigation
Regex decision procedures in extended RE#
Evaluating explainable AI for deep learning-based network intrusion detection system alert classification
Comprehensive feature selection for machine learning-based intrusion detection in healthcare IoMT networks
Not just the Garden of Eden: additional takes on cellular automata surjectivity
Data types with symmetries via action containers
A systematic literature review of cyber security monitoring in maritime
Using incremental inductive logic programming for learning spoofing attacks on maritime automatic identification system data
RE#: High performance derivative-based regex matching with intersection, complement, and restricted lookarounds
Autonomous vessels collision verification: geometric optimization
Finiteness of symbolic derivatives in Lean
Craig interpolation for a semi-substructural logic
Procontainers for idioms, arrows and monads