_id,doi,title
14400,10.1016/j.nahs.2023.101430,Symbolic control for stochastic systems via finite parity games
14405,10.4230/LIPIcs.CONCUR.2023.21,Hypernode automata
14411,10.1007/978-3-031-42697-1_2,"Phenotype control of partially specified boolean networks"
14454,10.1007/978-3-031-44267-4_15,Monitoring algorithmic fairness under partial observations
14518,10.3233/FAIA230264,Reachability poorman discrete-bidding games
14559,10.1007/978-3-031-45329-8_17,"Learning provably stabilizing neural controllers for discrete-time stochastic systems"
14718,10.34727/2023/isbn.978-3-85448-060-0_20,Binary decision diagrams on modern hardware
14758,10.1007/978-3-031-37709-9_1,"A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties"
14830,10.1609/aaai.v37i10.26407,Learning control policies for stochastic systems with reach-avoid guarantees
14920,10.46298/theoretics.23.4,Fast symbolic algorithms for mega-regular games under strong transition fairness
14994,10.5281/ZENODO.7877790,A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
15023,,Compositional policy learning in stochastic control systems with formal guarantees
15035,10.5281/ZENODO.8191723,Monitoring hyperproperties with prefix transducers
13141,10.1007/978-3-031-30820-8_15,Computing adequately permissive assumptions for synthesis
13142,10.1007/978-3-031-30823-9_1,A learner-verifier framework for neural network controllers and certificates of stochastic systems
13221,10.4230/LIPIcs.CONCUR.2023.17,Safety and liveness of quantitative automata
13228,10.1145/3593013.3594028,Runtime monitoring of dynamic fairness properties
13234,10.1007/s10009-023-00711-4,Into the unknown: Active monitoring of neural networks (extended version)
13263,10.1093/bioinformatics/btad262,"Trap spaces of multi-valued networks: Definition, computation, and applications"
13292,10.4230/LIPIcs.ICALP.2023.129,Regular methods for operator precedence languages