Showing cs.FLShow all
2 papers · 1 filter
cs.FL2025
MightyPPL: Verification of MITL with Past and Pnueli Modalities
Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani +2
Metric Interval Temporal Logic (MITL) is a popular formalism for specifying properties of reactive systems with timing constraints. Existing approaches to using MITL in verificatio…
cs.FL2024
Synthesis of Computable Regular Functions of Infinite Words
V. Dave, E. Filiot, S. Krishna +1
Regular functions from infinite words to infinite words can be equivalently specified by MSO-transducers, streaming -string transducers as well as deterministic two-way transdu…