共 50 条
- [1] Formal languages and neural models for learning on sequences [J]. INTERNATIONAL CONFERENCE ON GRAMMATICAL INFERENCE, VOL 217, 2023, 217 : 5 - 5
- [2] Linguistic Models at the Crossroads of Agents, Learning and Formal Languages [J]. ADCAIJ-ADVANCES IN DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE JOURNAL, 2014, 3 (04): : 67 - 86
- [3] Learning languages generated by elementary formal systems and its application to SH languages [J]. ALGORITHMIC LEARNING THEORY, PROCEEDINGS, 2004, 3244 : 380 - 394
- [5] Refinement of hybrid systems - From formal models to design languages [J]. LANGUAGES FOR SYSTEM SPECIFICATION: SELECTED CONTRIBUTIONS ON UML, SYSTEMC, SYSTEM VERILOG, MIXED-SIGNAL SYSTEMS, AND PROPERTY SPECIFICATION FROM FDL'03, 2004, : 315 - 330
- [6] Toward Formal Models and Languages for Verifiable Multi-Robot Systems [J]. FRONTIERS IN ROBOTICS AND AI, 2018, 5
- [9] Formal Reachability Analysis for Multi-Agent Reinforcement Learning Systems [J]. IEEE ACCESS, 2021, 9 : 45812 - 45821
- [10] MODELS OF FORMAL SYSTEMS [J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1954, 60 (04): : 350 - 350