52 citations · 201 across the 50 of their papers we have counts for
Showing 2026 · cs.AIShow all
2 papers · 2 filters
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-…