Search Results for author:
Found 3 papers, 2 papers with code
Probabilistic Counterexample Guidance for Safer Reinforcement Learning (Extended Version)
We demonstrate our method's effectiveness in reducing safety violations during online exploration in preliminary experiments by an average of 40. 3% compared with QL and DQN standard algorithms and 29. 1% compared with previous related work, while achieving comparable cumulative rewards with respect to unrestricted exploration and alternative approaches.
Symbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis
Probabilistic software analysis aims at quantifying the probability of a target event occurring during the execution of a program processing uncertain incoming data or written itself using probabilistic programming constructs.
Empirical Standards for Software Engineering Research
Empirical Standards are natural-language models of a scientific community's expectations for a specific kind of study (e. g. a questionnaire survey).
Software Engineering General Literature
