Stefan Jaksic | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Radu Grosu
47 publications
Ezio Bartocci
43 publications
Dejan Nickovic
18 publications
Jyotirmoy V. Deshmukh
18 publications
Anand Balakrishnan
5 publications
Edgar A. Aguilar
2 publications

research

∙ 02/04/2022

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives

Reinforcement learning (RL) is a popular approach for robotic path plann...

0 Anand Balakrishnan, et al. ∙

research

∙ 02/11/2018

An Algebraic Framework for Runtime Verification

Runtime verification (RV) is a pragmatic and scalable, yet rigorous tech...

0 Stefan Jaksic, et al. ∙

Success!

An error occurred