2 citations · 3 across the 23 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Temporal Specification Guidance for Text-to-Video Generation
Avishree Khare, Hideki Okamoto, Bardh Hoxha +2
Text-to-video models often generate the visual concepts requested in natural language prompts but fail to satisfy their intended ordering, timing, and persistence requirements. We…
cs.AI2026
Sample-Efficient Learning of Probabilistic Causes for Reachability in Markov Decision Processes with Probabilistic Guarantees
Ryohei Oura, Georgios Fainekos, Hideki Okamoto +1
Probabilistic model checking for Markov decision processes (MDPs) provides quantitative guarantees, but often offers limited insight into why undesired outcomes occur. Probability-…