Counterexample

A New Adaptive-Robust Design for Time Delay Control Under State-Dependent Stability Condition

S. Roy, Jinoh Lee, Simone Baldi

引用数: 81 • 2020

The Mad Scientist Meets the Robot Cats: Compatibilism, Kinds, and Counterexamples

Mark Heller

引用数: 65 • 1996

Minds, Machines and Turing

Stevan Harnad

引用数: 45 • 2000

Guaranteed global performance through local coordinations

Mohammad Karimadini, Hai Lin

引用数: 45 • 2011

Minds, Machines and Turing: The Indistinguishability of Indistinguishables

Stevan Harnad

引用数: 38 • 2000

Bounded Model Checking for Hyperproperties

Tzu-Han Hsu, César Sánchez, Borzoo Bonakdarpour

引用数: 34 • 2021

Kalman filtering under unknown inputs and norm constraints

He Kong, Mao Shan, Salah Sukkarieh, Tianshi Chen, Wei Xing Zheng

引用数: 34 • 2021

An Automaton Learning Approach to Solving Safety Games over Infinite Graphs

Daniel Neider, Ufuk Topcu

引用数: 32 • 2016

Feedback stabilization of rotating Timoshenko beam with adaptive gain

Donghua Shi, Dexing Feng, Qing-Xu Yan

引用数: 21 • 2001

Model Checking of a Mobile Robots Perpetual Exploration Algorithm

Ha Thi Thu Doan, François Bonnet, Kazuhiro Ogata

引用数: 20 • 2017

A systematic literature review on counterexample explanation

Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske

引用数: 18 • 2021

Automatic synthesis of cooperative multi-agent systems

Jin Dai, Hai Lin

引用数: 15 • 2014

Permissive Supervisor Synthesis for Markov Decision Processes Through Learning

Bo Wu, Xiaobin Zhang, Hai Lin

引用数: 15 • 2018

Model Checking of Robot Gathering

Ha Thi Thu Doan, François Bonnet, Kazuhiro Ogata

引用数: 14 • 2018

Trajectory Tracking Control for Robotic Vehicles Using Counterexample Guided Training of Neural Networks

Arthur Clavière, Souradeep Dutta, Sriram Sankaranarayanan

引用数: 12 • 2021

Deadlock prevention in flexible manufacturing systems using symbolic model checking

V. Hartonas-Garmhausen, E. M. Clarke, Sérgio Campos

引用数: 12 • 2002

Hopf Invariants for sectional category with applications to topological\n robotics

Jesús González, Mark Grant, Lucile Vandembroucq

引用数: 12 • 2014

Human-interpretable diagnostic information for robotic planning systems

Feng Lu, Laura Humphrey, Insup Lee, Ufuk Topcu

引用数: 11 • 2016

Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning

Bo Wu, Hai Lin

引用数: 11 • 2015

Counterexample-guided distributed permissive supervisor synthesis for probabilistic multi-agent systems through learning

Bo Wu, Hai Lin

引用数: 10 • 2016