EasyChair Smart SlideUser guide
Author: Daniel Kroening

This page shows all presentations of this author published in EasyChair Smart Slide.

Logically-Constrained Reinforcement Learning

Logically-Constrained Reinforcement Learning

Mohammadhosein Hasanbeig, Alessandro Abate and Daniel Kroening

Procedure-Modular Termination Analysis

Procedure-Modular Termination Analysis

Cristina David, Daniel Kroening and Peter Schrammel

JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode

JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode

Lucas Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel and Marek Trtik

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair