Xiaowei Huang

IEEE Trans. Artif. Intell., December, 2024

A survey of safety and trustworthiness of large language models through the lens of verification and validation.

[BibT_eX]

[DOI]

Artif. Intell. Rev., July, 2024

Nrat: towards adversarial training with inherent label noise.

[BibT_eX]

[DOI]

Mach. Learn., June, 2024

Privacy-Preserving Distributed Learning for Residential Short-Term Load Forecasting.

[BibT_eX]

[DOI]

IEEE Internet Things J., May, 2024

Scene Text Recognition via Dual-path Network with Shape-driven Attention Alignment.

[BibT_eX]

[DOI]

ACM Trans. Multim. Comput. Commun. Appl., April, 2024

Negative Hesitation Fuzzy Sets and Their Application to Pattern Recognition.

[BibT_eX]

[DOI]

IEEE Trans. Fuzzy Syst., April, 2024

Hierarchical Distribution-aware Testing of Deep Learning.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., February, 2024

Bridging formal methods and machine learning with model checking and global optimisation.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., February, 2024

Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2024

Formal verification of robustness and resilience of learning-enabled state estimation systems.

[BibT_eX]

[DOI]

Neurocomputing, 2024

Image Augmentation Agent for Weakly Supervised Semantic Segmentation.

[BibT_eX]

[DOI]

CoRR, 2024

Adversarial Training for Graph Neural Networks via Graph Subspace Energy Optimization.

[BibT_eX]

[DOI]

CoRR, 2024

A Black-Box Evaluation Framework for Semantic Robustness in Bird's Eye View Detection.

[BibT_eX]

[DOI]

CoRR, 2024

Prompt Categories Cluster for Weakly Supervised Semantic Segmentation.

[BibT_eX]

[DOI]

CoRR, 2024

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency.

[BibT_eX]

[DOI]

CoRR, 2024

SIDA: Social Media Image Deepfake Detection, Localization and Explanation with Large Multimodal Model.

[BibT_eX]

[DOI]

CoRR, 2024

Integrating Object Detection Modality into Visual Language Model for Enhanced Autonomous Driving Agent.

[BibT_eX]

[DOI]

CoRR, 2024

Covariance-based Space Regularization for Few-shot Class Incremental Learning.

[BibT_eX]

[DOI]

CoRR, 2024

Robust RL with LLM-Driven Data Synthesis and Policy Adaptation for Autonomous Driving.

[BibT_eX]

[DOI]

CoRR, 2024

Trustworthy Text-to-Image Diffusion Models: A Timely and Focused Survey.

[BibT_eX]

[DOI]

CoRR, 2024

Adaptive Guardrails For Large Language Models via Trust Modeling and In-Context Learning.

[BibT_eX]

[DOI]

Jinwei Hu

Yi Dong

Leandro Soriano Marcolino

CoRR, 2024

APC: Adaptive Patch Contrast for Weakly Supervised Semantic Segmentation.

[BibT_eX]

[DOI]

CoRR, 2024

Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklist.

[BibT_eX]

[DOI]

CoRR, 2024

Invariant Correlation of Representation with Label.

[BibT_eX]

[DOI]

CoRR, 2024

Exploring Data Efficiency in Zero-Shot Learning with Diffusion Models.

[BibT_eX]

[DOI]

CoRR, 2024

Safeguarding Large Language Models: A Survey.

[BibT_eX]

[DOI]

CoRR, 2024

Tiny Refinements Elicit Resilience: Toward Efficient Prefix-Model Against LLM Red-Teaming.

[BibT_eX]

[DOI]

CoRR, 2024

Direct Training Needs Regularisation: Anytime Optimal Inference Spiking Neural Network.

[BibT_eX]

[DOI]

CoRR, 2024

ADVREPAIR: Provable Repair of Adversarial Attack.

[BibT_eX]

[DOI]

CoRR, 2024

DeepCDCL: An CDCL-based Neural Network Verification Framework.

[BibT_eX]

[DOI]

CoRR, 2024

Building Guardrails for Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2024

DeepCDCL: A CDCL-based Neural Network Verification Framework.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Software Engineering, 2024

Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024

Continuous Geometry-Aware Graph Diffusion via Hyperbolic Neural PDE.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Knowledge Discovery in Databases. Research Track, 2024

Document Registration: Towards Automated Labeling of Pixel-Level Alignment Between Warped-Flat Documents.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM International Conference on Multimedia, MM 2024, Melbourne, VIC, Australia, 28 October 2024, 2024

BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2024

Position: Building Guardrails for Large Language Models Requires Systematic Design.

[BibT_eX]

[DOI]

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Image Augmentation with Controlled Diffusion for Weakly-Supervised Semantic Segmentation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2024

ProTIP: Probabilistic Robustness Verification on Text-to-Image Diffusion Models Against Stochastic Perturbation.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2024, 2024

Delving into Adversarial Robustness on Document Tampering Localization.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2024, 2024

Towards Fairness-Aware Adversarial Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024

MathAttack: Attacking Large Language Models towards Math Solving Ability.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

Representation-Based Robustness in Goal-Conditioned Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

Reward Certification for Policy Smoothed Reinforcement Learning.

[BibT_eX]

[DOI]

Ronghui Mu

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Model Checking for Probabilistic Multiagent Systems.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., September, 2023

Uncertainty Estimation for 3D Dense Prediction via Cross-Point Embeddings.

[BibT_eX]

[DOI]

Kaiwen Cai

Chris Xiaoxuan Lu

IEEE Robotics Autom. Lett., May, 2023

Generalizing universal adversarial perturbations for deep neural networks.

[BibT_eX]

[DOI]

Mach. Learn., May, 2023

Transportation Object Counting With Graph-Based Adaptive Auxiliary Learning.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., March, 2023

Machine Learning Safety

[BibT_eX]

[DOI]

Gaojie Jin

Artificial Intelligence: Foundations, Theory, and Algorithms, Springer, ISBN: 978-981-19-6813-6, 2023

Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2023

ReRoGCRL: Representation-based Robustness in Goal-Conditioned Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2023

Top-K Pooling with Patch Contrastive Learning for Weakly-Supervised Semantic Segmentation.

[BibT_eX]

[DOI]

CoRR, 2023

Symplectic Structure-Aware Hamiltonian (Graph) Embeddings.

[BibT_eX]

[DOI]

CoRR, 2023

A Symbolic Character-Aware Model for Solving Geometry Problems.

[BibT_eX]

[DOI]

CoRR, 2023

Risk Controlled Image Retrieval.

[BibT_eX]

[DOI]

CoRR, 2023

Safety Analysis in the Era of Large Language Models: A Case Study of STPA using ChatGPT.

[BibT_eX]

[DOI]

Yi Qi

CoRR, 2023

STPA for Learning-Enabled Systems: A Survey and A New Method.

[BibT_eX]

[DOI]

CoRR, 2023

Optimising Event-Driven Spiking Neural Network with Regularisation and Cutoff.

[BibT_eX]

[DOI]

CoRR, 2023

Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the Bridging the Gap Between AI and Reality, 2023

What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Model-Agnostic Reachability Analysis on Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2023

A Symbolic Characters Aware Model for Solving Geometry Problems.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM International Conference on Multimedia, 2023

STPA for Learning-Enabled Systems: A Survey and A New Practice.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

Short-term Load Forecasting with Distributed Long Short-Term Memory.

[BibT_eX]

[DOI]

Proceedings of the IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2023

Progressive Supervision for Tampering Localization in Document Images.

[BibT_eX]

[DOI]

Proceedings of the Neural Information Processing - 30th International Conference, 2023

Robust Bayesian Abstraction of Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning and Cybernetics, 2023

SAFARI: Versatile and Efficient Evaluations for Robustness of Interpretability.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023

Sora: Scalable Black-Box Reachability Analyser on Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2023

Randomized Adversarial Training via Taylor Expansion.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

Decentralised and Cooperative Control of Multi-Robot Systems through Distributed Optimisation.

[BibT_eX]

[DOI]

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Weight-based Semantic Testing Approach for Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-23 Joint Workshop on Artificial Intelligence Safety and Safe Reinforcement Learning (AISafety-SafeRL 2023) co-located with the 32nd International Joint Conference on Artificial Intelligence(IJCAI2023), 2023

Learning by Analogy: Diverse Questions Generation in Math Word Problem.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

Towards Verifying the Geometric Robustness of Large-Scale Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Coverage-Guided Testing for Recurrent Neural Networks.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2022

Weight Expansion: A New Perspective on Dropout and Generalization.

[BibT_eX]

[DOI]

Trans. Mach. Learn. Res., 2022

Graph-Based Region and Boundary Aggregation for Biomedical Image Segmentation.

[BibT_eX]

[DOI]

IEEE Trans. Medical Imaging, 2022

Editorial to theme section on open environmental software systems modeling.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2022

Soft pseudo-Label shrinkage for unsupervised domain adaptive person re-identification.

[BibT_eX]

[DOI]

Pattern Recognit., 2022

Embedding and extraction of knowledge in tree ensemble classifiers.

[BibT_eX]

[DOI]

Wei Huang

Mach. Learn., 2022

Exploring Cross-Point Embeddings for 3D Dense Uncertainty Estimation.

[BibT_eX]

[DOI]

Kaiwen Cai

Chris Xiaoxuan Lu

CoRR, 2022

3D Dense Face Alignment with Fused Features by Aggregating CNNs and GCNs.

[BibT_eX]

[DOI]

CoRR, 2022

Counting with Adaptive Auxiliary Learning.

[BibT_eX]

[DOI]

CoRR, 2022

Neuronal Correlation: a Central Concept in Neural Network.

[BibT_eX]

[DOI]

Gaojie Jin

CoRR, 2022

Dependable learning-enabled multiagent systems.

[BibT_eX]

[DOI]

Bei Peng

AI Commun., 2022

A Graph Neural Network Reasoner for Game Description Language.

[BibT_eX]

[DOI]

Alvaro Gunawan

Ji Ruan

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking.

[BibT_eX]

[DOI]

Yi Dong

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

STUN: Self-Teaching Uncertainty Estimation for Place Recognition.

[BibT_eX]

[DOI]

Kaiwen Cai

Chris Xiaoxuan Lu

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Artificial Intelligence Safety 2022 (AISafety 2022) co-located with the Thirty-First International Joint Conference on Artificial Intelligence and the Twenty-Fifth European Conference on Artificial Intelligence (IJCAI-ECAI-2022), 2022

Bridging Formal Methods and Machine Learning with Global Optimisation.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2022

Adversarial Label Poisoning Attack on Graph Neural Networks via Label Propagation.

[BibT_eX]

[DOI]

Ganlin Liu

Proceedings of the Computer Vision - ECCV 2022, 2022

Enhancing Adversarial Training with Second-Order Statistics of Weights.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022

Formal Specification for Learning-Enabled Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

EnnCore: End-to-End Conceptual Guarding of Neural Architectures.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022

Quantifying the Importance of Latent Features in Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022

2021

An Overview of Verification and Validation Challenges for Inspection Robots.

[BibT_eX]

[DOI]

Robotics, 2021

Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2021

Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems.

[BibT_eX]

[DOI]

CoRR, 2021

Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems.

[BibT_eX]

[DOI]

Yi Dong

CoRR, 2021

Tutorials on Testing Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2021

Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features.

[BibT_eX]

[DOI]

CoRR, 2021

A Little Energy Goes a Long Way: Energy-Efficient, Accurate Conversion from Convolutional Neural Networks to Spiking Neural Networks.

[BibT_eX]

[DOI]

Dengyu Wu

CoRR, 2021

BayLIME: Bayesian local interpretable model-agnostic explanations.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, 2021

Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Artificial Intelligence Safety 2021 co-located with the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021), 2021

A Segment-Based Layout Aware Model for Information Extraction on Document Images.

[BibT_eX]

[DOI]

Proceedings of the Neural Information Processing - 28th International Conference, 2021

Spatial Uncertainty-Aware Semi-Supervised Crowd Counting.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

Statistical Certification of Acceptable Robustness for Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2021, 2021

Detecting Operational Adversarial Examples for Reliable Deep Learning.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

Adversarial Robustness of Deep Learning: Theory, Algorithms, and Applications.

[BibT_eX]

[DOI]

Proceedings of the CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1, 2021

BI-GCN: Boundary-Aware Input-Dependent Graph Convolution Network for Biomedical Image Segmentation.

[BibT_eX]

[DOI]

Proceedings of the 32nd British Machine Vision Conference 2021, 2021

2020

A game-based approximate verification of deep neural networks with provable guarantees.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability.

[BibT_eX]

[DOI]

Comput. Sci. Rev., 2020

BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations.

[BibT_eX]

[DOI]

CoRR, 2020

Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics.

[BibT_eX]

[DOI]

CoRR, 2020

Embedding and Synthesis of Knowledge in Tree Ensemble Classifiers.

[BibT_eX]

[DOI]

Wei Huang

CoRR, 2020

Towards the Quantification of Safety Risks in Deep Neural Networks.

[BibT_eX]

[DOI]

Peipei Xu

João Batista Pereira Matos Jr.

CoRR, 2020

CasGCN: Predicting future cascade growth based on information diffusion graph.

[BibT_eX]

[DOI]

CoRR, 2020

Adaptable and Verifiable BDI Reasoning.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, 2020

Generating Adversarial Inputs Using A Black-box Differential Technique.

[BibT_eX]

[DOI]

Lucas Carvalho Cordeiro

Marcelo d'Amorim

CoRR, 2020

The Association for the Advancement of Artificial Intelligence 2020 Workshop Program.

[BibT_eX]

[DOI]

AI Mag., 2020

PRODeep: a platform for robustness verification of deep neural networks.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

A Safety Framework for Critical Systems Utilising Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2020

How does Weight Correlation Affect Generalisation Ability of Deep Neural Networks?

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

CNN-GCN Aggregation Enabled Boundary Regression for Biomedical Image Segmentation.

[BibT_eX]

[DOI]

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2020, 2020

Practical Verification of Neural Network Enabled State Estimation System for Robotics.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

Maximum Power Point Tracking of Photovoltaic Systems Using Deep Q-networks.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Industrial Informatics, 2020

Reliability Validation of Learning Enabled Vehicle Tracking.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Generalizing Universal Adversarial Attacks Beyond Additive Perturbations.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Data Mining, 2020

Explaining Image Classifiers Using Statistical Fault Localization.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2020, 2020

Regression of Instance Boundary by Aggregated CNN and GCN.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2020, 2020

2019

Reasoning about Cognitive Trust in Stochastic Multiagent Systems.

[BibT_eX]

[DOI]

Maciej Olejnik

ACM Trans. Comput. Log., 2019

Structural Test Coverage Criteria for Deep Neural Networks.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2019

Test Metrics for Recurrent Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2019

Explaining Deep Neural Networks Using Spectrum-Based Fault Localization.

[BibT_eX]

[DOI]

CoRR, 2019

testRNN: Coverage-guided Testing on Recurrent Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2019

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.

[BibT_eX]

[DOI]

CoRR, 2019

Reports of the Workshops Held at the 2019 AAAI Conference on Artificial Intelligence.

[BibT_eX]

[DOI]

AI Mag., 2019

Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 26th International Symposium, 2019

Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

DeepConcolic: testing and debugging deep neural networks.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

An Epistemic Strategy Logic.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2018

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm.

[BibT_eX]

[DOI]

CoRR, 2018

Testing Deep Neural Networks.

[BibT_eX]

[DOI]

Youcheng Sun

Daniel Kroening

CoRR, 2018

Feature-Guided Black-Box Safety Testing of Deep Neural Networks.

[BibT_eX]

[DOI]

Matthew Wicker

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Concolic testing for deep neural networks.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Reachability Analysis of Deep Neural Networks with Provable Guarantees.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

ATL Strategic Reasoning Meets Correlated Equilibrium.

[BibT_eX]

[DOI]

Ji Ruan

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Safety Verification of Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Quantified Coalition Logic of Knowledge, Belief and Certainty.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2017

Reasoning about Cognitive Trust in Stochastic Multiagent Systems.

[BibT_eX]

[DOI]

Marta Zofia Kwiatkowska

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Normative Multiagent Systems: The Dynamic Generalization.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Reconfigurability in Reactive Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Model Checking Probabilistic Knowledge: A PSPACE Case.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

Strengthening Agents Strategic Ability with Communication.

[BibT_eX]

[DOI]

Qingliang Chen

Kaile Su

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

The complexity of approximations for epistemic synthesis (extended abstract).

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015

Bounded model checking of strategy ability with perfect recall.

[BibT_eX]

[DOI]

Artif. Intell., 2015

The Complexity of Model Checking Succinct Multiagent Systems.

[BibT_eX]

[DOI]

Qingliang Chen

Kaile Su

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

An Epistemic Strategy Logic (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Proceedings 2nd International Workshop on Strategic Reasoning, 2014

Symbolic Synthesis for Epistemic Specifications with Observational Semantics.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

A Temporal Logic of Strategic Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Symbolic Model Checking Epistemic Strategy Logic.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics.

[BibT_eX]

[DOI]

Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013

Model Checking for Reasoning about Incomplete Information Games.

[BibT_eX]

[DOI]

Ji Ruan

Michael Thielscher

Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013

A logic of probabilistic knowledge and strategy.

[BibT_eX]

[DOI]

Cheng Luo

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Bounded planning for strategic goals with incomplete information and perfect recall.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Diagnosability in concurrent probabilistic systems.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012

Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall.

[BibT_eX]

[DOI]

Kaile Su

Chenyi Zhang

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Symbolic model checking of probabilistic knowledge.

[BibT_eX]

[DOI]

Cheng Luo

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

Model Checking Knowledge in Pursuit Evasion Games.

[BibT_eX]

[DOI]

Patrick Maupin

Proceedings of the IJCAI 2011, 2011

2010

A precongruence format for should testing preorder.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2010

Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence.

[BibT_eX]

[DOI]

Comput. J., 2010

Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic.

[BibT_eX]

[DOI]

Cheng Luo

Proceedings of the Model Checking and Artificial Intelligence - 6th International Workshop, 2010

The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

2009

Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic.

[BibT_eX]

[DOI]

Proceedings of the AI 2009: Advances in Artificial Intelligence, 2009

2008

Weak Parametric Failure Equivalences and Their Congruence Formats.

[BibT_eX]

[DOI]

Proceedings of the Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), 2008

2007

A Modular Petri Net Used in Synchronous Communication of Sequential Processes.

[BibT_eX]

Jie Meng

Proceedings of the 2007 International Conference on Modeling, 2007

What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security.

[BibT_eX]

[DOI]

Proceedings of the Information and Communications Security, 9th International Conference, 2007

A Semantic Preorder Combining ST Notion and Fair Testing Semantic.

[BibT_eX]