Pages that link to "Item:Q323773"
From MaRDI portal
The following pages link to Automated technology for verification and analysis. 14th international symposium, ATVA 2016, Chiba, Japan, October 17--20, 2016. Proceedings (Q323773):
Displaying 5 items.
- Automated technology for verification and analysis. 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15--18, 2013. Proceedings (Q363484) (← links)
- Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20--23, 2008. Proceedings (Q949001) (← links)
- Automated technology for verification and analysis. 20th international symposium, ATVA 2022, virtual event, October 25--28, 2022. Proceedings (Q2106183) (← links)
- (Q3552231) (← links)
- Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints (Q5009420) (← links)