1. Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings /: 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings. (2015) Editors: (Computer scientist), Bartocci, Ezio; Majumdar, Rupak Other Names: RV (Conference), 6th Record Type: Book Extent: 1 online resource (xiv, 396 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Computer aided cerification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings /: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings. Part I : (2017) Editors: Majumdar, Rupak; Kuncak, Viktor Other Names: CAV (Conference), 29th Record Type: Book Extent: 1 online resource (xix, 601 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Computer aided cerification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings /: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings. Part II : (2017) Editors: Majumdar, Rupak; Kuncak, Viktor Other Names: CAV (Conference), 29th Record Type: Book Extent: 1 online resource (xvii, 623 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. On the Relation between Reactive Synthesis and Supervisory Control of Input/Output Behaviours. Issue 7 (2018) Authors: Schmuck, Anne-Kathrin; Moor, Thomas; Majumdar, Rupak Journal: IFAC-PapersOnLine Issue: Volume 51:Issue 7(2018) Page Start: 31 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. VCG with Communities on Random Ad Hoc Networks. (22nd May 2011) Authors: Ercal, Gunes; Izhak-Ratzin, Rafit; Majumdar, Rupak; Meyerson, Adam Journal: International journal of distributed sensor networks Issue: (2011) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Robust Model Predictive Control with Signal Temporal Logic constraints for Barcelona Wastewater System. Issue 1 (July 2017) Authors: Farahani, Samira S.; Zadeh Soudjani, Sadegh Esmaeil; Majumdar, Rupak; Ocampo-Martinez, Carlos Journal: IFAC-PapersOnLine Issue: Volume 50:Issue 1(2017) Page Start: 6594 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Formal controller synthesis for wastewater systems with signal temporal logic constraints: The Barcelona case study. (September 2018) Authors: Farahani, Samira S.; Soudjani, Sadegh; Majumdar, Rupak; Ocampo-Martinez, Carlos Journal: Journal of process control Issue: Volume 69(2018) Page Start: 179 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Concentration of Measure for Chance-Constrained Optimization. Issue 16 (2018) Authors: Soudjani, Sadegh; Majumdar, Rupak Journal: IFAC-PapersOnLine Issue: Volume 51:Issue 16(2018) Page Start: 277 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games⁎R. Majumdar and K. Mallik are funded through the DFG (Deutsche Forschungsgemeinschaft or German Science Foundation) project 389792660 TRR 248-CPEC, A.-K. Schmuck is funded through the DFG project SCHM 3541/1-1, and S. Soudjani is funded through the EPSRC-funded CodeCPS project (EP/V043676/1). Issue 5 (2021) Authors: Majumdar, Rupak; Mallik, Kaushik; Schmuck, Anne-Kathrin; Soudjani, Sadegh Journal: IFAC-PapersOnLine Issue: Volume 54:Issue 5(2021) Page Start: 127 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗