Showing 1–20 of 95 results
/ Date/ Name
Aug 26, 2020Optimal Strategies in Weighted Limit Games (full version)Jul 20, 2023Robust Alternating-Time Temporal LogicAug 27, 2018Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free (full version)Jan 13, 2020Good-for-games $ω$-Pushdown AutomataApr 19, 2016Easy to Win, Hard to Master: Optimal Strategies in Parity Games with CostsJan 9, 2017Games with Costs and DelaysApr 15, 2015Parametric Linear Dynamic Logic (full version)Jun 29, 2022Monitoring Timed Properties (Revisited)Jul 3, 2024The Complexity of Data-Free NferJul 3, 2012Parity and Streett Games with CostsAug 25, 2014The Complexity of Counting Models of Linear-time Temporal LogicFeb 28, 2022The Complexity of Evaluating nferSep 14, 2017Synthesizing Optimally Resilient ControllersMay 26, 2015Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL (full version)Oct 14, 2016The First-Order Logic of HyperpropertiesApr 28, 2024Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-CheckingJun 9, 2023Robust Probabilistic Temporal LogicsMay 6, 2021A Bit of Nondeterminism Makes Pushdown Automata Expressive and SuccinctDec 16, 2025TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri NetsSep 16, 2022History-deterministic Parikh Automata