Raj Mohan Matteplackel

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 5

Top Topics

Deterministic Automata

Functional Requirements

Linear Time Temporal Logic

Discrete Version

Top Venues

Publications

Amol Wakankar, Paritosh K. Pandya, Raj Mohan Matteplackel
DCSYNTH: A Tool for Guided Reactive Synthesis with Soft Requirements. CoRR (2019)
Amol Wakankar, Paritosh K. Pandya, Raj Mohan Matteplackel
DCSynth: Guided Reactive Synthesis with Soft Requirements. VSTTE (2019)
Raj Mohan Matteplackel, Paritosh K. Pandya, Amol Wakankar
Formalizing Timing Diagram Requirements in Discrete Duration Calulus. CoRR (2017)
Raj Mohan Matteplackel, Paritosh K. Pandya, Amol Wakankar
Formalizing Timing Diagram Requirements in Discrete Duration Calculus. SEFM (2017)
Amol Wakankar, Paritosh K. Pandya, Raj Mohan Matteplackel
DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis. CoRR (2017)
Patricia Bouyer, Nicolas Markey, Raj Mohan Matteplackel
Averaging in LTL. CONCUR (2014)
Deepak D'Souza, Raj Mohan Matteplackel
A Compositional Hierarchical Monitoring Automaton Construction for LTL. ICTAC (2012)
Sumesh Divakaran, Deepak D'Souza, Raj Mohan Matteplackel
Conflict-tolerant specifications in temporal logic. ISEC (2010)