1. R. E. Bellman (1957): Dynamic Programming. Princeton Univ. Press.
  2. Roderick Bloem, Bettina Könighofer, Robert Könighofer & Chao Wang (2015): Shield Synthesis: - Runtime Enforcement for Reactive Systems. In: Christel Baier: TACAS, LNCS 9035. Springer, pp. 533–548, doi:10.1007/978-3-662-46681-0_51.
  3. Gaurav Chakravorty & Paritosh K. Pandya (2003): Digitizing Interval Duration Logic. In: Warren A. Hunt & Fabio Somenzi: CAV, LNCS 2725. Springer, pp. 167–179, doi:10.1007/978-3-540-45069-6_17.
  4. Zhou Chaochen & Michael R. Hansen (2004): Duration Calculus - A Formal Approach to Real-Time Systems. Monographs in Theoretical Computer Science. An EATCS Series. Springer, doi:10.1007/978-3-662-06784-0.
  5. Zhou Chaochen, C. A. R. Hoare & A. P. Ravn (1991): A Calculus of Durations. Inf. Process. Lett. 40(5), pp. 269–276, doi:10.1016/0020-0190(91)90122-X.
  6. Rüdiger Ehlers & Ufuk Topcu (2014): Resilience to Intermittent Assumption Violations in Reactive Synthesis. In: HSCC, HSCC '14. ACM, New York, NY, USA, pp. 203–212, doi:10.1145/2562059.2562128.
  7. J. Katoen, I. S. Zapreev, E. M. Hahn, H. Hermanns & D. N. Jansen (2011): The ins and outs of the probabilistic model checker MRMC. Performance Evaluation 68, pp. 89–220, doi:10.1016/j.peva.2010.04.001. Available at
  8. N. Klarlund, A. Møller & M. I. Schwartzbach (2001): MONA Implementation Secrets 2088, pp. 182–194, doi:10.1007/3-540-44674-5_15.
  9. Bettina Könighofer, Mohammed Alshiekh, Roderick Bloem, Laura Humphrey, Robert Könighofer, Ufuk Topcu & Chao Wang (2017): Shield synthesis. FMSD 51(2), pp. 332–361, doi:10.1007/s10703-017-0276-9.
  10. Shankara Narayanan Krishna & Paritosh K. Pandya (2005): Modal Strength Reduction in Quantified Discrete Duration Calculus. In: FSTTCS, LNCS 3821. Springer, pp. 444–456, doi:10.1007/11590156_36.
  11. Raj Mohan Matteplackel, Paritosh K. Pandya & Amol Wakankar (2017): Formalizing Timing Diagram Requirements in Discrete Duration Calculus. In: SEFM 2017, LNCS 10469. Springer International Publishing, pp. 253–268, doi:10.1007/978-3-319-66197-1_16.
  12. Paritosh K. Pandya (2001): Model Checking CTL*[DC]. In: TACAS, LNCS 2031. Springer, pp. 559–573, doi:10.1007/3-540-45319-9_38.
  13. Paritosh K. Pandya (2001): Specifying and deciding quantified discrete-time duration calculus formulae using DCVALID. In: RTTOOLS (affiliated with CONCUR 2001). CiteSeer.
  14. Paritosh K. Pandya (2005): Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search. Electronic Notes in Theoretical Computer Science 128(6), pp. 247 – 262, doi:10.1016/j.entcs.2005.04.015. Available at AVoCS 2004.
  15. Paritosh K. Pandya & Amol Wakankar (2019): Specification and Reactive Synthesis of Robust Controllers. CoRR abs/1905.11157. Available at
  16. Martin L. Puterman (1994): Markov Decision Processes: Discrete Stochastic Dynamic Programming, 1st edition. John Wiley & Sons, Inc., New York, NY, USA, doi:10.1002/9780470316887.
  17. Babita Sharma, Paritosh K. Pandya & Supratik Chakraborty (2005): Bounded Validity Checking of Interval Duration Logic. In: TACAS, LNCS 3440. Springer, pp. 301–316, doi:10.1007/978-3-540-31980-1_20.
  18. Amol Wakankar, Paritosh K. Pandya & Raj Mohan Matteplackel (2019): DCSYNTH: A Tool for Guided Reactive Synthesis with Soft Requirements, (To Appear in Proc. VSTTE 2019). CoRR abs/1903.03991. Available at
  19. Meng Wu (2016): iShield2 Synthesizer. Available at
  20. Meng Wu, H. Zeng, C. Wang & H. Yu (2017): INVITED: Safety guard: Runtime enforcement for safety-critical cyber-physical systems. In: DAC. ACM, pp. 1–6, doi:10.1145/3061639.3072957.
  21. Meng Wu, Haibo Zeng & Chao Wang (2016): Synthesizing Runtime Enforcer of Safety Properties Under Burst Error. In: Sanjai Rayadurgam & Oksana Tkachuk: NFM, LNCS 9690. Springer, pp. 65–81, doi:10.1007/978-3-319-40648-0_6.

Comments and questions to:
For website issues: