Copertina

Compressing ACAS-Xu Lookup Tables with Binary Decision Diagrams

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Boniol, Martin, Brunel, Julien, Chaudron, Jean-Baptiste, Garion, Christophe, Thirioux, Xavier
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science Neural and Evolutionary Computing
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

From Minimal Existence to Human Definition: The CES-IMU-HSG Theoretical Framework
di: Itoh, Kei
Pubblicazione: (2025)

Primitive Recursion without Composition: Dynamical Characterizations, from Neural Networks to Polynomial ODEs
di: Bournez, Olivier
Pubblicazione: (2026)

Attractor FCM
di: Kafantaris, Alexis
Pubblicazione: (2026)

The use of knowledge in open-ended systems
di: Devereaux, Abigail, et al.
Pubblicazione: (2024)

Machine Learning as Iterated Belief Change a la Darwiche and Pearl
di: Aravanis, Theofanis
Pubblicazione: (2025)

Learning Guided Automated Reasoning: A Brief Survey
di: Blaauwbroek, Lasse, et al.
Pubblicazione: (2024)

SymDQN: Symbolic Knowledge and Reasoning in Neural Network-based Reinforcement Learning
di: Amador, Ivo, et al.
Pubblicazione: (2025)

Learning Conjecturing from Scratch
di: Gauthier, Thibault, et al.
Pubblicazione: (2025)

Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning
di: Ganguly, Debargha, et al.
Pubblicazione: (2024)

Estimation-of-Distribution Algorithms for Multi-Valued Decision Variables
di: Jedidia, Firas Ben, et al.
Pubblicazione: (2023)

On the Expressivity of Recurrent Neural Cascades with Identity
di: Knorozova, Nadezda Alexandrovna, et al.
Pubblicazione: (2024)

Overcoming Binary Adversarial Optimisation with Competitive Coevolution
di: Lehre, Per Kristian, et al.
Pubblicazione: (2024)

BCDDO: Binary Child Drawing Development Optimization
di: Issa, Abubakr S., et al.
Pubblicazione: (2023)

Parametric-Task MAP-Elites
di: Anne, Timothée, et al.
Pubblicazione: (2024)

Empirical Analysis of the Dynamic Binary Value Problem with IOHprofiler
di: Vermetten, Diederick, et al.
Pubblicazione: (2024)

Flying in air ducts
di: Martin, Thomas, et al.
Pubblicazione: (2024)

Adaptive Stochastic Natural Gradient Method for Safe Optimization on Binary Space
di: Uchida, Kento, et al.
Pubblicazione: (2026)

Integrating Pruning with Quantization for Efficient Deep Neural Networks Compression
di: Makenali, Sara, et al.
Pubblicazione: (2025)

A Detection Region Method-Based Evolutionary Algorithm for Binary Constrained Multiobjective Optimization
di: Huang, Weixiong, et al.
Pubblicazione: (2024)

Flow-Lenia.png: Evolving Multi-Scale Complexity by Means of Compression
di: Adachi, Tadashi, et al.
Pubblicazione: (2024)

General-Purpose Co-Evolutionary Construction of Parallel Algorithm Portfolios for Multi-Objective Binary Optimization
di: Wang, Zhiyuan, et al.
Pubblicazione: (2026)

Black-Box Optimization of Mixed Binary-Continuous Variables: Challenges and Opportunities in Evolutionary Model Merging
di: Niloy, Md. Robiul Islam
Pubblicazione: (2026)

An Event-Driven E-Skin System with Dynamic Binary Scanning and real time SNN Classification
di: Li, Gaishan, et al.
Pubblicazione: (2026)

Evolving Generalizable Parallel Algorithm Portfolios for Binary Optimization Problems via Domain-Agnostic Instance Generation
di: Wang, Zhiyuan, et al.
Pubblicazione: (2025)

Evolutionary Reinforcement Learning for Interpretable Decision-Making in Supply Chain Management
di: Genetti, Stefano, et al.
Pubblicazione: (2025)

STARE: Predicting Decision Making Based on Spatio-Temporal Eye Movements
di: Unger, Moshe, et al.
Pubblicazione: (2025)

A Novel Population Initialization Method via Adaptive Experience Transfer for General-Purpose Binary Evolutionary Optimization
di: Wang, Zhiyuan, et al.
Pubblicazione: (2025)

Enhancing Decision Space Diversity in Multi-Objective Evolutionary Optimization for the Diet Problem
di: Nascimento, Gustavo V., et al.
Pubblicazione: (2025)

Bio-Inspired Neuron Synapse Optimization for Adaptive Learning and Smart Decision-Making
di: Singh, Sreeja, et al.
Pubblicazione: (2025)

Multi-objective Binary Differential Approach with Parameter Tuning for Discovering Business Process Models: MoD-ProM
di: Deshmukh, Sonia, et al.
Pubblicazione: (2024)

Graph-Theoretic Measures for Interpretable Multicriteria Decision Making in Emergency Department Layout Optimization
di: Sarhan, Ola, et al.
Pubblicazione: (2025)

A Quantum-inspired Hybrid Swarm Intelligence and Decision-Making for Multi-Criteria ADAS Calibration
di: Pathak, Sanjai, et al.
Pubblicazione: (2026)

First Mathematical Runtime Analyses of Multi-Objective Evolutionary Algorithms for Multi-Valued Decision Variables
di: Li, Mingfeng, et al.
Pubblicazione: (2026)

Impact of diversity on bounded archives for multi-objective local search
di: Coco, Amadeu A., et al.
Pubblicazione: (2026)

Integrating Chaotic Evolutionary and Local Search Techniques in Decision Space for Enhanced Evolutionary Multi-Objective Optimization
di: Meng, Xiang
Pubblicazione: (2024)

FlyAI -- The Next Level of Artificial Intelligence is Unpredictable! Injecting Responses of a Living Fly into Decision Making
di: Matthies, Denys J. C., et al.
Pubblicazione: (2024)

Self-Supervised Evolutionary Learning of Neurodynamic Progression and Identity Manifolds from EEG During Safety-Critical Decision Making
di: Zhou, Xiaoshan, et al.
Pubblicazione: (2026)

LitE-SNN: Designing Lightweight and Efficient Spiking Neural Network through Spatial-Temporal Compressive Network Search and Joint Optimization
di: Liu, Qianhui, et al.
Pubblicazione: (2024)

Probability Estimation and Scheduling Optimization for Battery Swap Stations via LRU-Enhanced Genetic Algorithm and Dual-Factor Decision System
di: Li, Anzhen, et al.
Pubblicazione: (2025)

An Adaptive Re-evaluation Method for Evolution Strategy under Additive Noise
di: Dinu, Catalin-Viorel, et al.
Pubblicazione: (2024)