Android создает анимированное видео из списка изображений

Я хочу сделать анимационное видео из списка изображений, применяя анимацию перехода между двумя изображениями. Я нашел много похожих вопросов на SO, например:

Android Захват экрана или создание видео из изображений

Android -Как сделать видео, используя набор изображений с SD-карты?

Все подобные вопросы SO предлагают использовать для этого анимацию, но как мы можем сохранить эти анимированные изображения в видеофайл? Есть ли какая-либо библиотека Android, поддерживающая это средство для создания видео изображений?