Dileep Kini

From MaRDI portal
Person:2272911

Available identifiers

zbMath Open kini.dileep-raghunathMaRDI QIDQ2272911

List of research outcomes





PublicationDate of PublicationType
Complexity of model checking MDPs against LTL specifications2020-11-25Paper
Optimal Translation of LTL to Limit Deterministic Automata2020-08-05Paper
Limit deterministic and probabilistic automata for \(\mathrm{LTL}\backslash GU\)2019-09-17Paper
Probabilistic Automata for Safety LTL Specifications2015-01-13Paper
Using non-convex approximations for efficient analysis of timed automata2012-08-31Paper
On construction of safety signal automata for \(\mathrm{MITL}[\mathcal{U},\mathcal{S}]\) using temporal projections2011-10-07Paper

Research outcomes over time

This page was built for person: Dileep Kini

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2272911&oldid=6933966"
Powered by MediaWiki