Micheli, Andrea
 Distribuzione geografica
Continente #
NA - Nord America 1.386
EU - Europa 826
AS - Asia 390
SA - Sud America 5
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 3
AF - Africa 1
Totale 2.614
Nazione #
US - Stati Uniti d'America 1.360
DE - Germania 224
IT - Italia 172
IN - India 99
UA - Ucraina 99
SG - Singapore 90
HK - Hong Kong 83
FI - Finlandia 59
CN - Cina 50
GB - Regno Unito 45
SE - Svezia 45
IE - Irlanda 41
RU - Federazione Russa 37
VN - Vietnam 30
BE - Belgio 29
NL - Olanda 22
JP - Giappone 21
FR - Francia 20
CA - Canada 19
HU - Ungheria 7
IL - Israele 5
PL - Polonia 5
BR - Brasile 4
ES - Italia 4
GT - Guatemala 4
AU - Australia 3
EU - Europa 3
KR - Corea 3
SI - Slovenia 3
BD - Bangladesh 2
CZ - Repubblica Ceca 2
DK - Danimarca 2
GR - Grecia 2
IR - Iran 2
LB - Libano 2
MX - Messico 2
PT - Portogallo 2
RO - Romania 2
AR - Argentina 1
AZ - Azerbaigian 1
CH - Svizzera 1
CR - Costa Rica 1
EG - Egitto 1
LT - Lituania 1
LU - Lussemburgo 1
PK - Pakistan 1
SK - Slovacchia (Repubblica Slovacca) 1
TR - Turchia 1
Totale 2.614
Città #
Chandler 283
Jacksonville 188
Ann Arbor 82
Boardman 81
Hong Kong 81
Singapore 74
Ashburn 69
Trento 61
Wilmington 60
New York 55
Los Angeles 51
Dublin 41
Helsinki 38
Kronberg 36
Dearborn 32
Brooklyn 30
Dong Ket 30
Brussels 25
Beijing 21
Ponte Sasso 17
Nijmegen 16
Woodbridge 16
Munich 15
Stuttgart 14
Guangzhou 12
Milan 12
Phoenix 12
Ottawa 11
Miami 10
Pune 10
Tokyo 10
Houston 9
Cheyenne 8
Redwood City 8
Verona 8
Desenzano Del Garda 7
Seattle 6
Tübingen 6
Cambridge 5
Council Bluffs 5
Dallas 5
Toronto 5
Antwerp 4
Bolzano 4
El Salvador 4
Fulda 4
Guanzate 4
Hanover 4
Kagoya 4
Karlsruhe 4
London 4
Rome 4
Santa Clara 4
Tappahannock 4
Barcelona 3
Budapest 3
Canazei 3
Frankfurt am Main 3
Norwalk 3
Shanghai 3
Stanford 3
Warsaw 3
Bari 2
Braunschweig 2
Brescia 2
Brno 2
Cernusco Lombardone 2
Charlotte 2
El Segundo 2
Fort Worth 2
Fremont 2
Gdansk 2
Lanciano 2
Mexico City 2
Monmouth Junction 2
Newark 2
Redmond 2
Rouen 2
San Jose 2
São Luís 2
São Paulo 2
Volargne 2
Wuhan 2
Anshan 1
Avellino 1
Baku 1
Brasov 1
Bratislava 1
Bristol 1
Bruchkoebel 1
Cairo 1
Central 1
Centrale 1
Chicago 1
Cologne 1
Des Moines 1
Dryden 1
Eger 1
Exeter 1
Falkenstein 1
Totale 1.696
Nome #
Robustness Envelopes for Temporal Plans 170
Temporal Planning with Temporal Metric Trajectory Constraints 146
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms 137
NuSMV 125
Strong temporal planning with uncontrollable durations 119
OthelloPlay: a plug-in based tool for requirement formalization and validation 99
KRATOS 96
Supporting Requirements Validation: The EuRailCheck Tool 96
The xSAP Safety Analysis Platform 91
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 90
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 82
SMT-based Validation of Timed Failure Propagation Graphs 78
Kratos - A Software Model Checker for SystemC 77
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 73
Dynamic controllability via Timed Game Automata 71
Solving Temporal Problems using SMT: Weak Controllability 68
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations 68
Disjunctive temporal networks with uncertainty via SMT: Recent results and directions 68
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 65
Verifying SystemC: a Software Model Checking Approach 65
Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping 63
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 62
The nuXmv Symbolic Model Checker 62
Solving strong controllability of temporal problems with uncertainty using SMT 61
Temporal Planning with Intermediate Conditions and Effects 59
Timelines with Temporal Uncertainty 56
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 54
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving 51
Solving Temporal Problems using SMT: Strong Controllability 50
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 34
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 34
Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans 33
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans 29
Expressive Optimal Temporal Planning via Optimization Modulo Theory 26
On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning 25
SMT-Based Model Checking of Max-Plus Linear Systems 24
Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning 23
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 22
Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection: An Autonomous Underwater Architecture 19
Sistema robotico olfattivo 18
A Meta-Engine Framework for Interleaved Task and Motion Planning using Topological Refinements 9
Abstract Action Scheduling for Optimal Temporal Planning via OMT 6
Totale 2.704
Categoria #
all - tutte 15.590
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 15.590


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020347 0 0 0 0 0 27 45 17 48 134 53 23
2020/2021378 51 7 54 18 54 21 42 6 23 53 8 41
2021/2022239 14 2 5 25 19 15 5 34 23 12 41 44
2022/2023594 25 57 8 128 24 86 12 39 124 35 26 30
2023/2024422 31 11 46 16 25 90 17 44 27 34 9 72
2024/2025275 17 14 139 63 34 8 0 0 0 0 0 0
Totale 2.704