1 citations · 1 across the 2 of their papers we have counts for
2 papers
eess.SY2026
HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
Vishnu Murali, Amin Falah, Ashutosh Trivedi +1
We introduce a functional inductive framework to verify discrete-time dynamical systems against hyperproperties specified as Hyperlinear temporal logic formulae via a notion of Hyp…
cs.LG2023★ 1 cited
Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP
Amin Falah, Shibashis Guha, Ashutosh Trivedi
Continuous-time Markov decision processes (CTMDPs) are canonical models to express sequential decision-making under dense-time and stochastic environments. When the stochastic evol…