The following pages link to Marco Roveri (Q329421):
Displayed 36 items.
- Dynamic controllability via timed game automata (Q329422) (← links)
- (Q814468) (redirect page) (← links)
- Weak, strong, and strong cyclic planning via symbolic model checking (Q814470) (← links)
- Conformant planning via symbolic model checking and heuristic search (Q814631) (← links)
- Optimization modulo non-linear arithmetic via incremental linearization (Q831943) (← links)
- An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty (Q892228) (← links)
- HRELTL: a temporal logic for hybrid systems (Q897648) (← links)
- Experimenting on solving nonlinear integer arithmetic with incremental linearization (Q1656597) (← links)
- NuSMV: A new symbolic model checker (Q1856168) (← links)
- Certifying proofs for SAT-based model checking (Q2058379) (← links)
- SMT-based satisfiability of first-order LTL with event freezing functions and metric operators (Q2182731) (← links)
- Solving strong controllability of temporal problems with uncertainty using SMT (Q2342602) (← links)
- Satisfiability modulo transcendental functions via incremental linearization (Q2405243) (← links)
- Strong planning under partial observability (Q2457630) (← links)
- (Q2769595) (← links)
- (Q2847799) (← links)
- Software Model Checking with Explicit Scheduler and Symbolic Threads (Q2904614) (← links)
- Boosting Lazy Abstraction for SystemC with Partial Order Reduction (Q3000665) (← links)
- From Sequential Extended Regular Expressions to NFA with Symbolic Labels (Q3073625) (← links)
- Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF (Q3303890) (← links)
- Formal Verification of Infinite-State BIP Models (Q3460575) (← links)
- SYMBOLIC IMPLEMENTATION OF ALTERNATING AUTOMATA (Q3503089) (← links)
- Requirements Validation for Hybrid Systems (Q3636860) (← links)
- (Q4527271) (← links)
- Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions (Q4691738) (← links)
- (Q4736997) (← links)
- (Q4737124) (← links)
- (Q4804909) (← links)
- (Q4818818) (← links)
- A new method for testing decision procedures in modal logics (Q5234709) (← links)
- Boolean Abstraction for Temporal Logic Satisfiability (Q5429344) (← links)
- Diagnostic Information for Realizability (Q5452707) (← links)
- Formal Methods in Computer-Aided Design (Q5492984) (← links)
- Symbolic Implementation of Alternating Automata (Q5757229) (← links)
- Verification Modulo theories (Q6056642) (← links)
- A Markovian model for the spread of the SARS-CoV-2 virus (Q6164030) (← links)