![]() Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification (Hussein Sibai, Navid Mokhlesi, Sayan Mitra).Pages 98-114 Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs (Manfred Jaeger, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Sean Sedwards, Jakob Haahr Taankvist).Pages 81-97 Heule, Armin Biere).Pages 48-64Ĭan We Trust Autonomous Systems? Boundaries and Risks (Joseph Sifakis).Pages 65-78 Truth Assignments as Conditional Autarkies (Benjamin Kiesl, Marijn J. Lazy Abstraction-Based Controller Synthesis (Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck).Pages 23-47 ![]() ![]() A Note on Game Theory and Verification (Patricia Bouyer).Pages 3-22
0 Comments
Leave a Reply. |
Details
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |