Counterpart-based quantified temporal logics
PointExplainer: towards transparent Parkinson’s disease diagnosis
Formalizing a classification theorem for low-dimensional solvable Lie algebras in Lean
An Agda formalization of nonassociative Lambek calculus and its metatheory
Procontainers for idioms, arrows and monads
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