The following pages link to Fabio Somenzi (Q832299):
Displayed 38 items.
- Model-free reinforcement learning for branching Markov decision processes (Q832301) (← links)
- Efficient manipulation of decision diagrams (Q1606804) (← links)
- An algorithm for strongly connected component analysis in \(n \log n\) symbolic steps (Q2505621) (← links)
- Compositional SCC analysis for language emptiness (Q2505627) (← links)
- (Q2754087) (← links)
- (Q2845512) (← links)
- (Q2848677) (← links)
- (Q2849595) (← links)
- Statistically Sound Verification and Optimization for Complex Systems (Q3457812) (← links)
- Efficient Term-ITE Conversion for Satisfiability Modulo Theories (Q3637169) (← links)
- (Q4037133) (← links)
- (Q4427897) (← links)
- (Q4472250) (← links)
- (Q4472259) (← links)
- Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems (Q4561426) (← links)
- (Q4791850) (← links)
- (Q4804918) (← links)
- (Q4804928) (← links)
- (Q4817546) (← links)
- (Q4888830) (← links)
- (Q4934627) (← links)
- Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning (Q5039514) (← links)
- (Q5089286) (← links)
- The Reach-Avoid Problem for Constant-Rate Multi-mode Systems (Q5096103) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308387) (← links)
- (Q5309033) (← links)
- Computer Aided Verification (Q5312944) (← links)
- Computer Aided Verification (Q5312948) (← links)
- A Hybrid Algorithm for LTL Games (Q5452725) (← links)
- (Q5472089) (← links)
- Formal Methods in Computer-Aided Design (Q5492983) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703766) (← links)
- Theory and Applications of Satisfiability Testing (Q5714752) (← links)
- Correct Hardware Design and Verification Methods (Q5897059) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899061) (← links)
- Omega-Regular Objectives in Model-Free Reinforcement Learning (Q6091336) (← links)
- An impossibility result in automata-theoretic reinforcement learning (Q6103159) (← links)
- Alternating good-for-MDPs automata (Q6160921) (← links)