共 50 条
- [31] Discrete fully probabilistic design: towards a control pipeline for the synthesis of policies from examples 2023 31ST MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION, MED, 2023, : 759 - 764
- [32] Hierarchical Fully Probabilistic Design for Deliberator-Based Merging in Multiple Participant Systems IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2018, 48 (04): : 565 - 573
- [35] A Diagrammatic Axiomatisation for Qubit Entanglement 2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2015, : 573 - 584
- [36] An axiomatisation of the set theory JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 1925, 154 (1/4): : 219 - 240
- [37] Weak bisimulation for fully probabilistic processes COMPUTER AIDED VERIFICATION, 1997, 1254 : 119 - 130
- [39] A complete axiomatisation for timed automata FST TCS 2000: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2000, 1974 : 277 - 289