The following pages link to Jan Otop (Q438583):
Displayed 33 items.
- \(E\)-unification with constants vs. general \(E\)-unification (Q438584) (← links)
- Quantitative fair simulation games (Q528184) (← links)
- Quantitative monitor automata (Q1664379) (← links)
- Non-deterministic weighted automata evaluated over Markov chains (Q2009651) (← links)
- Learning infinite-word automata with loop-index queries (Q2124472) (← links)
- Model measuring for discrete and hybrid systems (Q2374564) (← links)
- Lipschitz Robustness of Timed I/O Systems (Q2796054) (← links)
- From Model Checking to Model Measuring (Q2842114) (← links)
- (Q2911630) (← links)
- (Q2958545) (← links)
- (Q2978533) (← links)
- Decidable Elementary Modal Logics (Q2986825) (← links)
- Model measuring for hybrid systems (Q2986968) (← links)
- Edit Distance for Pushdown Automata (Q3449470) (← links)
- (Q4608583) (← links)
- Nested Weighted Automata (Q4608720) (← links)
- Satisfiability versus Finite Satisfiability in Elementary Modal Logics (Q4611207) (← links)
- Nested Weighted Automata (Q4635850) (← links)
- The Target Discounted-Sum Problem (Q4635852) (← links)
- Quantitative Automata under Probabilistic Semantics (Q4635863) (← links)
- (Q4986511) (← links)
- (Q4999312) (← links)
- (Q5009422) (← links)
- (Q5089288) (← links)
- (Q5111617) (← links)
- (Q5136334) (← links)
- (Q5136335) (← links)
- (Q5155690) (← links)
- On the Decidability of Elementary Modal Logics (Q5277903) (← links)
- (Q5367062) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705918) (← links)
- (Q5875378) (← links)
- (Q5875389) (← links)