Volume: Vol-4311 ICLP-WS-DC 2026 | Year: 2026

Paper: « DC_short_04 | DC_short_05 | DC_short_06 »

A Three-Layer Reduction Framework for Scalable Verification of Maritime Vessel Systems under Uncertainty

• Hiba Ben Lahbib

516-521 PDF 10.83095/ceurws_04311_050