7 citations · 18 across the 22 of their papers we have counts for
22 papers
Logic-based Knowledge Awareness for Autonomous Agents in Continuous Spaces
Arabinda Ghosh, Mahmoud Salamati, Sadegh Soudjani
This paper presents a step towards a formal controller design method for autonomous agents based on knowledge awareness to improve decision-making. Our approach is to first create…
Verification of Quantum Circuits through Discrete-Time Barrier Certificates
Marco Lewis, Sadegh Soudjani, Paolo Zuliani
Current methods for verifying quantum computers are predominately based on interactive or automatic theorem provers. Considering that quantum computers are dynamical in nature, thi…
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification
Oliver Schön, Shammakh Naseer, Ben Wooding +1
To advance formal verification of stochastic systems against temporal logic requirements for handling unknown dynamics, researchers have been designing data-driven approaches inspi…
Specification-guided temporal logic control for stochastic systems: a multi-layered approach
Birgit C. van Huijgevoort, Ruohan Wang, Sadegh Soudjani +1
Designing controllers to satisfy temporal requirements has proven to be challenging for dynamical systems that are affected by uncertainty. This is mainly due to the states evolvin…
T-Count Optimizing Genetic Algorithm for Quantum State Preparation
Andrew Wright, Marco Lewis, Paolo Zuliani +1
Quantum state preparation is a crucial process within numerous quantum algorithms, and the need for efficient initialization of quantum registers is ever increasing as demand for u…
Automated Verification of Silq Quantum Programs using SMT Solvers
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
We present SilVer (Silq Verification), an automated tool for verifying behaviors of quantum programs written in Silq, which is a high-level programming language for quantum computi…