45 citations · 149 across the 52 of their papers we have counts for
3 papers · 2 filters
Skolem Functions for Factored Formulas
Ajith K. John, Shetal Shah, Supratik Chakraborty +2
Given a propositional formula F(x,y), a Skolem function for x is a function Ψ(y), such that substituting Ψ(y) for x in F gives a formula semantically equivalent to \exists F. Autom…
Revisiting Robustness in Priced Timed Games
Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa +1
Priced timed games are optimal-cost reachability games played between two players---the controller and the environment---by moving a token along the edges of infinite graphs of con…
Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems
Shankara Narayanan Krishna, Ashutosh Trivedi
The presence of a tight integration between the discrete control (the "cyber") and the analog environment (the "physical")---via sensors and actuators over wired or wireless commun…