Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Rupak Majumdar

Algorithms for Game Metrics

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Quantifying Conformance Using the Skorokhod Metric

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2017English

Environmentally-Friendly GR(1) Synthesis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

From Tests to Proofs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Verifying Quantitative Properties Using Bound Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Analyzing Real-Time Event-Driven Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Controller Synthesis With Budget Constraints

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Quantitative Solution of Omega-Regular Games380872

2001English

A Classification of Symbolic Transition Systems

1999English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy