( en | de | ru )

 

Disambiguierung von "Pandya, Paritosh K."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Büchi-Kamp Theorems for 1-clock ATA.

, , und . CoRR, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Shreekrishna Pandya

Paritosh Padhy

Navinchandra Chimanlal Pandya

Paritosh Kumar Saha

Paritosh Kumar Das Gupta

 

Weitere Publikationen von Autoren mit dem selben Namen

Metric Temporal Logic with Counting., , und . CoRR, (2015)DCSYNTH: A Tool for Guided Reactive Synthesis with Soft Requirements., , und . CoRR, (2019)On Construction of Safety Signal Automata for $MITL\: U, \: S$ Using Temporal Projections., , und . FORMATS, Volume 6919 von Lecture Notes in Computer Science, Seite 225-239. Springer, (2011)Timed Automata with Integer Resets: Language Inclusion and Expressiveness., , , und . FORMATS, Volume 5215 von Lecture Notes in Computer Science, Seite 78-92. Springer, (2008)Unambiguity in Timed Regular Languages: Automata and Logics., und . FORMATS, Volume 6246 von Lecture Notes in Computer Science, Seite 168-182. Springer, (2010)ICSP and Its Relationship with ACSP and CSP., und . FSTTCS, Volume 761 von Lecture Notes in Computer Science, Seite 358-372. Springer, (1993)Logical specification and uniform synthesis of robust controllers., und . MEMOCODE, Seite 15:1-15:11. ACM, (2019)Partially Punctual Metric Temporal Logic is Decidable., , und . TIME, Seite 174-183. IEEE Computer Society, (2014)Formal Design of Hybrid Systems., , , und . FTRTFT, Volume 863 von Lecture Notes in Computer Science, Seite 738-755. Springer, (1994)Büchi-Kamp Theorems for 1-clock ATA., , und . CoRR, (2018)