research
∙
08/02/2023
On the Metric Temporal Logic for Continuous Stochastic Processes
In this paper, we prove measurability of event for which a general conti...
share
research
∙
03/09/2022
On proving consistency of equational theories in Bounded Arithmetic
We consider pure equational theories that allow substitution but disallo...
research
∙
04/14/2019
Separation of bounded arithmetic using a consistency statement
This paper proves Buss's hierarchy of bounded arithmetics S^1_2 ⊆ S^2_2 ...
research
∙
05/01/2018
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning
With the rapid development of software and distributed computing, Cyber-...
research
∙
05/15/2017