In Gujarat, a tiny independent studio is drawing on India's rich literary history to create surreal games that flow like visual poems, evoking decades of colonial literature and folk theatre to draw attention to the politics of today. Through fantastical environments where buildings and oversized monuments are made of rubber sandals and toothpaste tubes, Studio Oleomingus – made up of writer/artist Dhruv Jani and programmer Sushant Chakraborty, with help from another programmer, Vivek Savsaiya – crafts interactive stories that cast a playful light on India's complicated past and present. "We find video games to be excellent spaces for political discourse," Jani tells me over Skype. "The government is hardly bothered about something as'trivial' as video games, and they also give you a lot of room to think and ponder complex ideas." The studio's short, experimental games, drenched in vibrant colours and otherworldly imagery, pay homage to the magical realist, nonsense literature that defined many Indian childhoods.

Markov decision processes are of major interest in the planning community as well as in the model checking community. But in spite of the similarity in the considered formal models, the development of new techniques and methods happened largely independently in both communities. This work is intended as a beginning to unite the two research branches. We consider goal-reachability analysis as a common basis between both communities. The core of this paper is the translation from Jani, an overarching input language for quantitative model checkers, into the probabilistic planning domain definition language (PPDDL), and vice versa from PPDDL into Jani. These translations allow the creation of an overarching benchmark collection, including existing case studies from the model checking community, as well as benchmarks from the international probabilistic planning competitions (IPPC). We use this benchmark set as a basis for an extensive empirical comparison of various approaches from the model checking community, variants of value iteration, and MDP heuristic search algorithms developed by the AI planning community. On a per benchmark domain basis, techniques from one community can achieve state-ofthe-art performance in benchmarks of the other community. Across all benchmark domains of one community, the performance comparison is however in favor of the solvers and algorithms of that particular community. Reasons are the design of the benchmarks, as well as tool-related limitations. Our translation methods and benchmark collection foster crossfertilization between both communities, pointing out specific opportunities for widening the scope of solvers to different kinds of models, as well as for exchanging and adopting algorithms across communities.

Before 2019, Doctors at CHI Health had to wait up to three hours before diagnosing stroke victims. But thanks to artificial intelligence, they can now do that within just six minutes. On Aug. 28, Natalie Carr was getting ready for bed when she realized something wasn't right. "I remember sitting there and looking down at my hand. It felt like it was falling asleep," Carr said.

Drones work is amazing, and the wonderful images we are able to experience is all because of the great photographers. Jani Ylinampa, the nature photographer captured the beauty of Kotisaari Island during the four seasons with his drone. Back in 2015, Jani took an aerial photo of the idyllic island nestled in the Kemi river, and the image went viral on social media, and he returned back to capture more of this beauty. "The seasonal changes in Lapland are drastic and this little island is the perfect way to display them," says Jani. This beautifully captured island is four miles from the Arctic Circle and temperature drop to well below freezing during winter months.