2 citations · 3 across the 9 of their papers we have counts for
Showing 2026 · cs.LOShow all
2 papers · 2 filters
cs.LO2026
Monads and Distributive Laws in Substructural Contexts (Extended Version)
Soichiro Fujii, Yun Chen Tsai, Yoàv Montacute +1
We present a categorical theory of monads and distributive laws in substructural contexts. In the study of distributive laws, the roles of (the absence of) structural rules for var…
cs.LO2026
Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking
Radu-Florin Tulcan, Rose Bohrer, Yoàv Montacute +3
We introduce a hybrid spatiotemporal logic for automotive safety applications (HSTL), focused on highway driving. Spatiotemporal logic features specifications about vehicles throug…