Search

Your search keyword '"Ganesh, Vijay"' showing total 84 results

Search Constraints

Start Over You searched for: Author "Ganesh, Vijay" Remove constraint Author: "Ganesh, Vijay" Publisher springer nature switzerland Remove constraint Publisher: springer nature switzerland
84 results on '"Ganesh, Vijay"'

Search Results

1. Computer Aided Verification

2. AdChain: Decentralized Header Bidding

3. Pierce: A Testing Tool for Neural Network Verification Solvers

4. Diversifying a Parallel SAT Solver with Bayesian Moment Matching

6. QReach: A Reachability Analysis Tool for Quantum Markov Chains

7. Lexicographic Ranking Supermartingales with Lazy Lower Bounds

8. Simulating Quantum Circuits by Model Counting

9. Measurement-Based Verification of Quantum Markov Chains

10. Compositional Value Iteration with Pareto Caching

11. Approximate Relational Reasoning for Quantum Programs

12. Stochastic Omega-Regular Verification and Control with Supermartingales

13. Probabilistic Access Policies with Automated Reasoning Support

14. What Should Be Observed for Optimal Reward in POMDPs?

15. Bisimulation Learning

18. Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic

19. Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis

20. LTL Learning on GPUs

24. Localized Attractor Computations for Infinite-State Games

25. Dynamic Programming for Symbolic Boolean Realizability and Synthesis

26. Regular Reinforcement Learning

27. Synthesis of Temporal Causality

28. Interactive Theorem Proving Modulo Fuzzing

31. Hevm, a Fast Symbolic Execution Framework for EVM Bytecode

32. SolTG: A CHC-Based Solidity Test Case Generator

33. Information Flow Guided Synthesis with Unbounded Communication

35. Syntax-Guided Automated Program Repair for Hyperproperties

36. The SemGuS Toolkit

37. SMT-Based Symbolic Model-Checking for Operator Precedence Languages

38. Verification Algorithms for Automated Separation Logic Verifiers

41. The Top-Down Solver Verified: Building Confidence in Static Analyzers

42. Strided Difference Bound Matrices

43. SMLP: Symbolic Machine Learning Prover

44. Toward Liveness Proofs at Scale

45. Avoiding the Shoals - A New Approach to Liveness Checking

46. Distributed SMT Solving Based on Dynamic Variable-Level Partitioning

47. The MoXI Model Exchange Tool Suite

48. From Clauses to Klauses

49. Formally Certified Approximate Model Counting

50. Scalable Bit-Blasting with Abstractions

Catalog

Books, media, physical & digital resources