Souymodip Chakraborty

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 1

Top Topics

Pspace Complete

Markov Processes

Linear Time Temporal Logic

Top Venues

Int. J. Softw. Tools Technol. Transf.

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Souymodip Chakraborty, Joost-Pieter Katoen
On the Satisfiability of Some Simple Probabilistic Logics. LICS (2016)
Souymodip Chakraborty, Joost-Pieter Katoen, Falak Sher, Martin Strelec
Modelling and statistical model checking of a microgrid. Int. J. Softw. Tools Technol. Transf. 17 (4) (2015)
Souymodip Chakraborty, Joost-Pieter Katoen
Model Checking of Open Interval Markov Chains. ASMTA (2015)
Souymodip Chakraborty, Joost-Pieter Katoen
Parametric LTL on Markov Chains. IFIP TCS (2014)
Souymodip Chakraborty, Joost-Pieter Katoen
Parametric LTL on Markov Chains. CoRR (2014)