The following pages link to Sumit Kumar Jha (Q533359):
Displaying 20 items.
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361) (← links)
- Duality-based nested controller synthesis from STL specifications for stochastic linear systems (Q1631235) (← links)
- An identity for the sum of inverses of odd divisors of \(n\) in terms of the number of representations of \(n\) as a sum of squares (Q1981398) (← links)
- A formula for the number of partitions of \(n\) in terms of the partial Bell polynomials (Q2075085) (← links)
- A congruence for the number of alternating permutations (Q2235182) (← links)
- An elementary proof of Euler's product expansion for the sine (Q2291763) (← links)
- A new explicit formula for Bernoulli numbers involving the Euler number (Q2332799) (← links)
- Revisiting calculation of moments of number of comparisons used by the randomized quick sort algorithm (Q2966500) (← links)
- A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata (Q3523107) (← links)
- d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata (Q3523144) (← links)
- Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction (Q3612979) (← links)
- (Q4958968) (← links)
- (Q4987398) (← links)
- Two complementary relations for the Rogers-Ramanujan continued fraction (Q5088679) (← links)
- Two new explicit formulas for the Bernoulli Numbers (Q5109330) (← links)
- (Q5109528) (← links)
- (Q5148787) (← links)
- Distributed Markov Chains (Q5172638) (← links)
- Initial Excitation-Based Iterative Algorithm for Approximate Optimal Control of Completely Unknown LTI Systems (Q5211299) (← links)
- Hybrid Systems: Computation and Control (Q5703926) (← links)