Souymodip Chakraborty
- Address
- Room 4206
Ahornstraße 55
D-52074 Aachen
I am a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen.
My research interests include:
- Hitchhiker’s Guide to the Galaxy.
- Logic, automata and complexity theory
Publications
| 2019 | |
|---|---|
| DOI | Souymodip Chakraborty. New results on probabilistic verification : automata, logic and satisfiability, 1 Online-Ressource (172 Seiten) : Illustrationen, 2019. |
| 2016 | |
| DOI | Souymodip Chakraborty, Joost-Pieter Katoen. On the Satisfiability of Some Simple Probabilistic Logics, Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016) : July 5-8, 2016 New York City, USA / LICS General Chair: Martin Grohe; LICS Conference Chair: Eric Koskinen; LICS Program Chair: Natarajan Shankar, 56-65, ACM Press, 2016. |
| 2015 | |
| DOI | Souymodip Chakraborty, Joost-Pieter Katoen, Falak Sher, Martin Strelec. Modelling and statistical model checking of a microgrid, 537-554, Springer, 2015. |
| DOI | Souymodip Chakraborty, Joost-Pieter Katoen. Model Checking of Open Interval Markov Chains, Analytical and stochastic modelling techniques and applications : 22nd international conference, ASMTA 2015, Albena, Bulgaria, May 26 - 29, 2015 ; proceedings / Marco Gribaudo; Daniele Manini; Anne Remke (eds.), 30-42, Springer, 2015. |
| Souymodip Chakraborty, Joost-Pieter Katoen. P-Automata for Markov Decision Processes, [3rd International Workshop on Strategic Reasoning. J. Gutierrez, F. Mogavero, A. Murano, and M. Wooldridge (Eds.)], 2-18, 2015. | |
| 2014 | |
| DOI | Souymodip Chakraborty, Joost-Pieter Katoen. Parametric LTL on Markov Chains, Theoretical computer science : 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1 - 3, 2014 ; proceedings / Josep Diaz; Ivan Lanese; Davide Sangiorgi (eds.), 207-222, Springer, 2014. |