Abstract Mungojerrie is an extensible tool that provides a framework to translate linear-time objectives into reward for reinforcement learning (RL). The convergent RL algorithms stochastic games, reference implementations of existing translations $$\omega $$ ω -regular objectives, and internal probabilistic ...

A new, fast, spectrally selective steady-state free precession (SSFP) imaging method is presented. Combining k-space data from SSFP sequences with certain phase schedules of radiofrequency excitation pulses permits manipulation of the spectral selectivity of the image. For example, lipid and water can be resolved. The contrast of each image depends on both T1 and T2, and the relative contributi...