Adaptive Symbolic Control for Finite-State Transition Systems With Grammatical Inference (original) (raw)
Related papers
Symbolic planning and control using game theory and grammatical inference
Engineering Applications of Artificial Intelligence, 2015
Integration of deterministic inference with formal synthesis for control under uncertainty
2016 American Control Conference (ACC), 2016
Control of infinite symbolic transition systems under partial observation
2009
Bottom-Up Symbolic Control: Attractor-Based Planning and Behavior Synthesis
IEEE Transactions on Automatic Control, 2013
MODELING STATE SPACE SEARCH TECHNIQUE FOR A REAL WORLD ADVERSARIAL PROBLEM SOLVING 3
A Framework for Bridging the Gap Between Symbolic and Non-Symbolic AI
Recurrent Neural Networks and Soft Computing, 2012
Unmanned Vehicle Operations Under Imperfect Information in an Adversarial Environment II
AIAA Guidance, Navigation, and Control Conference and Exhibit, 2005
Symbolic Algorithms for Infinite-State Games
Lecture Notes in Computer Science, 2001
Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games
2018
A Game Theoretic Analysis of LQG Control under Adversarial Attack
2020
A symbolic solution to intelligent real-time control
1993
Symbolic Strategy Synthesis For Games With LTL Winning Conditions
2005
Q2 Symbolic Reasoning about Noisy Dynamic Systems
Zbigniew Korona, Mieczyslaw Kokar, Stephen Linder
Journal of Intelligent and Robotic Systems, 1999
DFA Learning of Opponent Strategies
Dealing with Nondeterminism in Symbolic Control
Hybrid Systems: Computation and Control
Building Adaptive Autonomous Agents for Adversarial Domains
Proc. of the AAAI 94 Fall …, 1994
Automatic construction of reactive control systems using symbolic machine learning
The Knowledge Engineering Review, 1996
Controller Synthesis for Mode-Target Games
IFAC-PapersOnLine, 2015
Grammatical Inference Methodology for Control Systems
2009
A Generative Game-Theoretic Framework for Adversarial Plan Recognition
Supervisory control of infinite symbolic systems using abstract interpretation
2005
Learning Models of Adversarial Agent Behavior under Partial Observability
arXiv (Cornell University), 2023
Grammars for learning control knowledge with GP
2001
Game-Theoretic Automata: Foundations, Formalizations, and Open Problems
Provably correct reactive control from natural language
Autonomous Robots, 2014
Expected payoff analysis of dynamic mixed strategies in an adversarial domain
2011 IEEE Symposium on Intelligent Agent (IA), 2011
Towards symbolic strategy synthesis for >>A<<-LTL
10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings., 2003