Complexity in Simplicity: Flexible Agent-Based State Space Exploration
No abstract available.
Related papers
- Reward-Guided Synthesis of Intelligent Agents with Control Structures PLDI 2024
- Safe Exploration in Reinforcement Learning by Reachability Analysis over Learned Models CAV 2024
- Scenario-Based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs CAV 2024
- Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift Onward! 2016
- Locus: A System and a Language for Program Optimization CGO 2019
- A New Cognitive Perspective on Simplicity in System and Product Design Onward! 2024
- Self: The Power of Simplicity OOPSLA 1987
- Security-Aware Synthesis Using Delayed-Action Games CAV 2019