Safe reinforcement learning using probabilistic shields
This paper concerns the efficient construction of a safety shield for reinforcement learning.
We specifically target scenarios that incorporate uncertainty and use Markov decision …
We specifically target scenarios that incorporate uncertainty and use Markov decision …
Generalized Optimization Modulo Theories
Abstract Optimization Modulo Theories (OMT) has emerged as an important extension of the
highly successful Satisfiability Modulo Theories (SMT) paradigm. The OMT problem requires …
highly successful Satisfiability Modulo Theories (SMT) paradigm. The OMT problem requires …
Task planning with OMT: an application to production logistics
Task planning is a well-studied problem for which interesting applications exist in production
logistics. Planning for such domains requires to take into account not only feasible plans, but …
logistics. Planning for such domains requires to take into account not only feasible plans, but …
Independent Scheduling System in Online Classrooms with Simple Multi-agent Temporal Networks
R Perwiratama - KONSTELASI: Konvergensi Teknologi dan Sistem …, 2023 - ojs.uajy.ac.id
Because of the growing popularity of online classes, flexible scheduling solutions that
accommodate a wide range of user schedules and preferences are required. When …
accommodate a wide range of user schedules and preferences are required. When …
Optimization Modulo Theories with OptiMathSAT
P Trentin - 2019 - eprints-phd.biblio.unitn.it
In the contexts of Formal Verification (FV) and Automated Reasoning (AR), Satisfiability
Modulo Theories (SMT) is an important discipline that allows for dealing with industrial-level …
Modulo Theories (SMT) is an important discipline that allows for dealing with industrial-level …