:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Bisicchia, Giuseppe, Forti, Stefano, Brogi, Antonio
Format:	Preprint
Published:	2021
Subjects:	Signal Processing Artificial Intelligence Logic in Computer Science Systems and Control
Online Access:	https://arxiv.org/abs/2106.13083
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Smart Sampling Strategies for Wireless Industrial Data Acquisition
by: Soto, Marcos
Published: (2025)

Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives
by: Belly, Marius, et al.
Published: (2024)

TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems
by: Sidrane, Chelsea, et al.
Published: (2024)

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
by: Ramirez, Miquel, et al.
Published: (2024)

Safe and Reliable Training of Learning-Based Aerospace Controllers
by: Mandal, Udayan, et al.
Published: (2024)

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems
by: Sidrane, Chelsea, et al.
Published: (2025)

Learning Algorithms for Verification of Markov Decision Processes
by: Brázdil, Tomáš, et al.
Published: (2024)

Goal-oriented Transmission Scheduling: Structure-guided DRL with a Unified Dual On-policy and Off-policy Approach
by: Chen, Jiazheng, et al.
Published: (2025)

Physics-informed generative neural networks for RF propagation prediction with application to indoor body perception
by: Fieramosca, Federica, et al.
Published: (2024)

ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios
by: Chang, Kevin Kai-Chun, et al.
Published: (2026)

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
by: Ho, Qi Heng, et al.
Published: (2024)

Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
by: Zhang, Changjian, et al.
Published: (2024)

Taming Silent Failures: A Framework for Verifiable AI Reliability
by: Yang, Guan-Yan, et al.
Published: (2025)

Direct Encoding of Declare Constraints in ASP
by: Chiariello, Francesco, et al.
Published: (2024)

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision
by: Teuber, Samuel, et al.
Published: (2025)

Verification of Autonomous Neural Car Control with KeYmaera X
by: Prebet, Enguerrand, et al.
Published: (2025)

Automated Reasoning for Vulnerability Management by Design
by: Shaked, Avi, et al.
Published: (2025)

Neural Proofs for Sound Verification and Control of Complex Systems
by: Abate, Alessandro
Published: (2025)

Provably Safe Neural Network Controllers via Differential Dynamic Logic
by: Teuber, Samuel, et al.
Published: (2024)

Categorical semantics of compositional reinforcement learning
by: Bakirtzis, Georgios, et al.
Published: (2022)

Hyperproperty-Constrained Secure Reinforcement Learning
by: Bonnah, Ernest, et al.
Published: (2025)

Efficient Shield Synthesis via State-Space Transformation
by: Brorholt, Asger Horn, et al.
Published: (2024)

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
by: Azeem, Muqsit, et al.
Published: (2024)

k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics
by: Wooding, Ben, et al.
Published: (2026)

Goal-oriented Resource Allocation for Collaborative Integrated Sensing and Communication
by: Tran, Trong Duy, et al.
Published: (2026)

A Composite Fault Diagnosis Model for NPPs Based on Bayesian-EfficientNet Module
by: Li, Siwei, et al.
Published: (2024)

Executing Discrete/Continuous Declarative Process Specifications via Complex Event Processing
by: Schönig, Stefan, et al.
Published: (2025)

Efficient Dynamic Shielding for Parametric Safety Specifications
by: Corsi, Davide, et al.
Published: (2025)

Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach
by: Sharifi, Iman, et al.
Published: (2023)

Joint Estimation of Sea State and Vessel Parameters Using a Mass-Spring-Damper Equivalence Model
by: Tiwari, Ranjeet K., et al.
Published: (2025)

LLM-Empowered Resource Allocation in Wireless Communications Systems
by: Lee, Woongsup, et al.
Published: (2024)

Decentralized Time-Varying Optimization for Streaming Data via Temporal Weighting
by: Abrar, Muhammad Faraz Ul, et al.
Published: (2026)

Dynamic Anchor Selection and Real-Time Pose Prediction for Ultra-wideband Tagless Gate
by: Choi, Junyoung, et al.
Published: (2024)

GANs for EVT Based Model Parameter Estimation in Real-time Ultra-Reliable Communication
by: Valiahdi, Parmida, et al.
Published: (2024)

Standards-Compliant DM-RS Allocation via Temporal Channel Prediction for Massive MIMO Systems
by: Ryu, Sehyun, et al.
Published: (2025)

Generative Modeling and Decision Fusion for Unknown Event Detection and Classification Using Synchrophasor Data
by: Hu, Yi, et al.
Published: (2025)

Carbon-Aware Orchestration of Integrated Satellite Aerial Terrestrial Networks via Digital Twin
by: Javaid, Shumaila, et al.
Published: (2025)

Adaptive Informed Deep Neural Networks for Power Flow Analysis
by: Kaseb, Zeynab, et al.
Published: (2024)

EVT-Based Generative AI for Tail-Aware Channel Estimation
by: Valiahdi, Parmida, et al.
Published: (2026)

Constellation as a Service: Tailored Connectivity Management in Direct-Satellite-to-Device Networks
by: Wang, Feng, et al.
Published: (2025)