activity
20242026
most citedSharif-MGTD at SemEval-2024 Task 8: A Transformer-Based Approach to Detect Machine Generated Text

2 citations · 5 across the 10 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2025

Supermartingale Certificates for Quantitative Omega-regular Verification and Control

Thomas A. Henzinger, Kaushik Mallik, Pouya Sadeghi +1

We present the first supermartingale certificate for quantitative -regular properties of discrete-time infinite-state stochastic systems. Our certificate is defined on the produ…