( en | de | ru )

 

Disambiguierung von "Madnani, Khushraj"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On Unary Fragments of MTL and TPTL over Timed Words.

, , und . ICTAC, Volume 8687 von Lecture Notes in Computer Science, Seite 333-350. Springer, (2014)

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.

Keine Personen gefunden für den Autorennamen Madnani, Khushraj
Eine Person hinzufügen mit dem Namen Madnani, Khushraj
 

Weitere Publikationen von Autoren mit dem selben Namen

From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers., , , und . Formal Aspects Comput., 35 (2): 9:1-9:50 (Juni 2023)Logics Meet 1-Clock Alternating Timed Automata., , und . CONCUR, Volume 118 von LIPIcs, Seite 39:1-39:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Metric Temporal Logic with Counting., , und . CoRR, (2015)Partially Punctual Metric Temporal Logic is Decidable., , und . TIME, Seite 174-183. IEEE Computer Society, (2014)On the Decidability and Complexity of Some Fragments of Metric Temporal Logic, , und . CoRR, (2013)On Unary Fragments of MTL and TPTL over Timed Words., , und . ICTAC, Volume 8687 von Lecture Notes in Computer Science, Seite 333-350. Springer, (2014)Making Metric Temporal Logic Rational., , und . MFCS, Volume 83 von LIPIcs, Seite 77:1-77:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Büchi-Kamp Theorems for 1-clock ATA., , und . CoRR, (2018)Self-Triggered Control for Near-Maximal Average Inter-Sample Time., , und . CDC, Seite 1308-1313. IEEE, (2021)More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words., und . TIME, Volume 278 von LIPIcs, Seite 7:1-7:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)