840 citations
- Blekinge Institute of TechnologySE8 papers
- KTH Royal Institute of TechnologySE8 papers
- Stockholm UniversitySE7 papers
- COMSATS University IslamabadPK4 papers
- KU LeuvenBE4 papers
- Linköping UniversitySE4 papers
- AGH University of KrakowPL3 papers
- Chalmers University of TechnologySE3 papers
- Linnaeus UniversitySE3 papers
- Lund UniversitySE3 papers
- RISE Research Institutes of SwedenSE3 papers
- Universiti Malaysia Pahang Al-Sultan AbdullahMY3 papers
6 papers · 1 filter
Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!
Rong Gu
Most reinforcement learning (RL) platforms use high-level programming languages, such as OpenAI Gymnasium using Python. These frameworks provide various API and benchmarks for test…
Workflows Community Summit 2024: Future Trends and Challenges in Scientific Workflows
Rafael Ferreira da Silva, Deborah Bard, Kyle Chard +108
The Workflows Community Summit gathered 111 participants from 18 countries to discuss emerging trends and challenges in scientific workflows, focusing on six key areas: time-sensit…
Ore Extensions of Abelian Groups with Operators
Per Bäck, Patrik Lundström, Johan Öinert +1
Given a set and an abelian group with operators in , in the sense of Krull and Noether, we introduce the Ore group extension as the additive group $B[x]…
Formal Verification of Consistency for Systems with Redundant Controllers
Bjarne Johansson, Bahman Pourvatan, Zahra Moezkarimi +2
A potential problem that may arise in the domain of distributed control systems is the existence of more than one primary controller in redundancy plans that may lead to inconsiste…
Ideals in hom-associative Weyl algebras
Per Bäck, Johan Richter
We introduce hom-associative versions of the higher order Weyl algebras, generalizing the construction of the first hom-associative Weyl algebras. We then show that the higher orde…
Flipped non-associative polynomial rings and the Cayley-Dickson construction
Masood Aryapoor, Per Bäck
We introduce and study flipped non-associative polynomial rings. In particular, we show that all Cayley-Dickson algebras naturally appear as quotients of a certain type of such rin…