mahesh viswanathan
- A counterexample-guided abstraction-refinement
for Markov Decision Processes, R. Chadha, M. Viswanathan.
ACM Transaction on Computational Logic (TOCL), 2010.
- Learning to verify branching time properties,
A. Vardhan, M. Viswanathan. Formal Methods in System Design
(FMSD), 2007.
- Minimization, Learning, and Conformance
Testing of Boolean Programs, V. Kumar, P. Madhusudan,
M.Viswanathan. International Conference on Concurrency Theory
(CONCUR), 2006.
- LEVER: A Tool for Learning based
Verification, A. Vardhan,
M. Viswanathan. International Conference on Computer-Aided
Verification (CAV), 2006.
- Learning to verify branching time
properties, A. Vardhan, M. Viswanathan. IEEE/ACM
International Conference on Automated Software Engineering (ASE),
2005.
- Using Language Inference to Verify
Omega-Regular Properties, A. Vardhan, K. Sen,
M. Viswanathan, G. Agha. International Conference on Tools
and Algorithms for the Construction and Analysis of Systems
(TACAS), 2005.
- Actively Learning to Verify Safety
roperties of FIFO Automata, A. Vardhan, K. Sen,
M. Viswanathan, G. Agha. International Conference on the
Foundations of Software Technology and Theoretical Computer
Science (FSTTCS), 2004.
- Learning to Verify Safety
Properties, A. Vardhan, K. Sen, M. Viswanathan,
G. Agha. International Conference on Formal Engineering
Methods (ICFEM), 2004.
- Learning Continuous Time Markov Chains
from Sample Executions, K. Sen, M. Viswanathan,
G. Agha. International Conference on Quantitative Evaluation
of Systems (QEST), 2004.